BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
truth (36)
power (28)
analysi (26)
system (22)
rewrit (19)

Stem ground$ (all stems)

218 papers:

DATEDATE-2015-WangWXWWYDLMW #adaptation #process
Adaptively tolerate power-gating-induced power/ground noise under process variations (ZW, XW, JX, XW, ZW, PY, LHKD, HL, RKVM, ZW), pp. 483–488.
DRRDRR-2015-ChenSWLHI #analysis #dataset #documentation #layout
Ground truth model, tool, and dataset for layout analysis of historical documents (KC, MS, HW, ML, JH, RI), p. 940204.
ICALPICALP-v1-2015-GharibianS
Ground State Connectivity of Local Hamiltonians (SG, JS), pp. 617–628.
CSCWCSCW-2015-AsadD #community
Illegitimate Civic Participation: Supporting Community Activists on the Ground (MA, CALD), pp. 1694–1703.
ICSEICSE-v1-2015-WatermanNA #agile #architecture #how
How Much Up-Front? A Grounded theory of Agile Architecture (MW, JN, GA), pp. 347–357.
ICLPICLP-2015-KieslST #analysis #on the #source code
On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT).
ICSTSAT-2015-MangalZNN #framework #lazy evaluation #named #satisfiability #scalability
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (RM, XZ, AVN, MN), pp. 299–306.
DATEDATE-2014-Torrellas #architecture #energy #performance
Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.
ESOPESOP-2014-AguadoMHF #concurrent #programming
Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
CHICHI-2014-MurerJSS #comprehension
Taking things apart: reaching common ground and shared material understanding (MM, MJ, SS, PS), pp. 469–472.
CHICHI-2014-Vosoughi #automation #recognition #speech #visual notation
Improving automatic speech recognition through head pose driven visual grounding (SV), pp. 3235–3238.
ECIRECIR-2014-GrausTBR #concept #generative #predict #pseudo #social
Generating Pseudo-ground Truth for Predicting New Concepts in Social Streams (DG, MT, LB, MdR), pp. 286–298.
ICPRICPR-2014-HofbauerAWBU #segmentation
A Ground Truth for Iris Segmentation (HH, FAF, PW, JB, AU), pp. 527–532.
ICPRICPR-2014-ZenRS #distance #learning #matrix #metric
Simultaneous Ground Metric Learning and Matrix Factorization with Earth Mover’s Distance (GZ, ER, NS), pp. 3690–3695.
KMISKMIS-2014-Mustonen-Ollila #case study #information management #problem
Knowledge Management Problems in Healthcare — A Case Study based on the Grounded Theory (EMO, HN, AV), pp. 15–26.
LICSLICS-CSL-2014-Hague #term rewriting
Senescent ground tree rewrite systems (MH), p. 10.
DATEDATE-2013-WangXZWYWNW #using
Active power-gating-induced power/ground noise alleviation using parasitic capacitance of on-chip memories (XW, JX, WZ, XW, YY, ZW, MN, ZW), pp. 1221–1224.
DRRDRR-2013-AzawiLB #documentation #layout
WFST-based ground truth alignment for difficult historical documents with text modification and layout variations (MIAAA, ML, TMB).
ICDARICDAR-2013-AhmedKILD #automation #documentation #generative #image #retrieval #using
Automatic Ground Truth Generation of Camera Captured Documents Using Document Image Retrieval (SA, KK, MI, ML, AD), pp. 528–532.
ICDARICDAR-2013-BillerAKD #documentation #generative #interactive #named
WebGT: An Interactive Web-Based System for Historical Document Ground Truth Generation (OB, AA, KK, ID), pp. 305–308.
ICDARICDAR-2013-HedjamC #documentation #estimation #image #multi #representation
Ground-Truth Estimation in Multispectral Representation Space: Application to Degraded Document Image Binarization (RH, MC), pp. 190–194.
ICDARICDAR-2013-NafchiAMC #performance
An Efficient Ground Truthing Tool for Binarization of Historical Manuscripts (HZN, SMA, RFM, MC), pp. 807–811.
STOCSTOC-2013-BrandaoH13a #approximate #quantum
Product-state approximations to quantum ground states (FGSLB, AWH), pp. 871–880.
CSCWCSCW-2013-FugelliLM #development #distributed #open source
Shared prolepsis and intersubjectivity in open source development: expansive grounding in distributed work (PF, LCL, AIM), pp. 129–144.
CSCWCSCW-2013-WulfMARR #social #social media
“On the ground” in Sidi Bouzid: investigating social media use during the Tunisian revolution (VW, KM, MA, DR, MR), pp. 1409–1418.
HCIDUXU-WM-2013-PropstSPJC #evaluation #knowledge-based #usability
From the Ground-Up: Role of Usability and Aesthetics Evaluation in Creating a Knowledge-Based Website for the U.S. Army Corps of Engineers (DBP, SJS, GLP, EJ, CKC), pp. 274–283.
HCIHCI-AMTE-2013-BorsciMB #assessment #data transformation
A Grounded Procedure for Managing Data and Sample Size of a Home Medical Device Assessment (SB, JLM, JB), pp. 166–175.
HCIHCI-IMT-2013-NovickG #multimodal
Grounding and Turn-Taking in Multimodal Multiparty Conversation (DGN, IG), pp. 97–106.
KEODKEOD-2013-FrancescomarinoGK #concept #modelling #ontology
Grounding Conceptual Modelling Templates on Existing Ontologies — A Delicate Balance (CDF, CG, MTK), pp. 199–206.
MLDMMLDM-2013-LiuLM #approach #combinator #lightweight #multi
A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.
PPDPPPDP-2013-CalauttiGT #decidability #detection #logic programming #source code
Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.
ICSEICSE-2013-GarciaKMM #architecture
Obtaining ground-truth software architectures (JG, IK, CM, NM), pp. 901–910.
WICSA-ECSAWICSA-ECSA-2012-GarciaKMD #architecture #framework
A Framework for Obtaining the Ground-Truth in Architectural Recovery (JG, IK, NM, CD), pp. 292–296.
DATEDATE-2012-LeupersMPHSKV
Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
ICALPICALP-v2-2012-MurawskiT #algorithm #game studies
Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.
CSCWCSCW-2012-SarcevicPWSBA #coordination #distributed #learning
“Beacons of hope” in decentralized coordination: learning from on-the-ground medical twitterers during the 2010 Haiti earthquake (AS, LP, JW, KS, MB, KMA), pp. 47–56.
ICMLICML-2012-MatuszekFZBF #learning
A Joint Model of Language and Perception for Grounded Attribute Learning (CM, NF, LSZ, LB, DF), p. 186.
ICPRICPR-2012-BoomHHF #clustering #dataset #image #using
Supporting ground-truth annotation of image datasets using clustering (BJB, PXH, JH, RBF), pp. 1542–1545.
ICPRICPR-2012-ElqurshE #video
Video figure ground labeling (AE, AME), pp. 2472–2475.
ICPRICPR-2012-LiuWXZS #classification
Soft-signed sparse coding for ground-based cloud classification (SL, CW, BX, ZZ, YS), pp. 2214–2217.
ICPRICPR-2012-YokotaHKW #analysis #estimation #image
Estimation of earthquake ground motion by image analysis of sliding objects taken with a fixed camera (AY, TH, HK, TW), pp. 784–787.
FSEFSE-2012-CossetteW #evolution #library #migration
Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.
ICLPICLP-2012-AguadoCDPV
Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.
ICLPICLP-2012-CatDS #incremental #lazy evaluation
Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.
ICLPICLP-2012-MorakW #preprocessor #programming #set
Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
IJCARIJCAR-2012-EchenimP #calculus #generative
A Calculus for Generating Ground Explanations (ME, NP), pp. 194–209.
RTARTA-2012-Felgenhauer #confluence #polynomial #term rewriting
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time (BF), pp. 165–175.
QoSAQoSA-ISARCS-2011-GalsterA #architecture
Empirically-grounded reference architectures: a proposal (MG, PA), pp. 153–158.
ICDARICDAR-2011-ClausnerPA #documentation #layout #named
Aletheia — An Advanced Document Layout and Text Ground-Truthing System for Production Environments (CC, SP, AA), pp. 48–52.
ICDARICDAR-2011-HadjarI #generative #layout
Minimizing User Annotations in the Generation of Layout Ground-Truthed Data (KH, RI), pp. 703–707.
ICDARICDAR-2011-LiangWS #image #segmentation
A Method of Evaluating Table Segmentation Results Based on a Table Image Ground Truther (YL, YW, ES), pp. 247–251.
TACASTACAS-2011-ConchonCI #modulo theories
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (SC, EC, MI), pp. 45–59.
CHICHI-2011-FailyF
Persona cases: a technique for grounding personas (SF, IF), pp. 2267–2270.
CHICHI-2011-FurnissBC #case study #experience #lessons learnt
Confessions from a grounded theory PhD: experiences and lessons learnt (DF, AB, PC), pp. 113–122.
CHICHI-2011-GrandhiSJ #mobile
Telling calls: facilitating mobile phone conversation grounding and management (SAG, RPS, QJ), pp. 2153–2162.
HCIDUXU-v1-2011-Renner #design #how #image #process #question #visual notation
Image, Imagination, Innovation: How Can We Overcome the Common Ground in the Processes of Visual Design? (MR), pp. 285–294.
HCIHCI-UA-2011-LinHLYH #mining #using
Using Grounded Theory and Text Mining to Find Interesting Reading Materials for Slow EFL Learners (YCL, ClH, MHL, HFY, CFH), pp. 77–85.
SEKESEKE-2011-AlmeidaMA #analysis #execution #process #using
Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded Theory (CDAdA, TCM, AA), pp. 792–797.
SIGIRSIGIR-2011-ChatzichristofisZA11a
The TREC files: the (ground) truth is out there (SAC, KZ, AA), pp. 1289–1290.
SACSAC-2011-CaiFU #database #recognition #scalability
Massive character recognition with a large ground-truthed database (WC, YF, SU), pp. 240–244.
LICSLICS-2011-GollerL #complexity #term rewriting #verification
The Complexity of Verifying Ground Tree Rewrite Systems (SG, AWL), pp. 279–288.
DATEDATE-2010-WatanabeA #modelling #multi #performance #simulation
Equivalent circuit modeling of multilayered power/ground planes for fast transient simulation (TW, HA), pp. 1153–1158.
CHICHI-2010-SmythEB #named
MOSES: exploring new ground in media and post-conflict reconciliation (TNS, JE, MLB), pp. 1059–1068.
ICPRICPR-2010-AnYB #documentation #segmentation #using
Document Segmentation Using Pixel-Accurate Ground Truth (CA, DY, HSB), pp. 245–248.
ICPRICPR-2010-PletschacherA #analysis #framework
The PAGE (Page Analysis and Ground-Truth Elements) Format Framework (SP, AA), pp. 257–260.
KDIRKDIR-2010-JunGRO #image #predict #process
Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.
HPCAHPCA-2010-KahngKKS #design #reliability #trade-off
Designing a processor from the ground up to allow voltage/reliability tradeoffs (ABK, SK, RK, JS), pp. 1–11.
ICLPICLP-J-2010-OetschPT #debugging #source code
Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.
DACDAC-2009-JangK
Simultaneous clock buffer sizing and polarity assignment for power/ground noise minimization (HJ, TK), pp. 794–799.
ICDARICDAR-2009-StreckerBAB #automation #documentation #generative #image
Automated Ground Truth Data Generation for Newspaper Document Images (TS, JvB, SA, TMB), pp. 1275–1279.
ICDARICDAR-2009-YinWL #documentation
A Tool for Ground-Truthing Text Lines and Characters in Off-Line Handwritten Chinese Documents (FY, QFW, CLL), pp. 951–955.
TACASTACAS-2009-FuchsGGKT #formal method #similarity
Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.
CHICHI-2009-ConvertinoMRSC #process
Supporting content and process common ground in computer-supported teamwork (GC, HMM, MBR, AS, JMC), pp. 2339–2348.
CHICHI-2009-DiSalvoBKS #human-computer
Nourishing the ground for sustainable HCI: considerations from ecologically engaged art (CFD, KB, NK, PS), pp. 385–394.
CHICHI-2009-YamashitaIKI #multi #using
Difficulties in establishing common ground in multiparty groups using machine translation (NY, RI, HK, TI), pp. 679–688.
HCIDHM-2009-MobusEGZ #empirical #modelling #probability
Probabilistic and Empirical Grounded Modeling of Agents in (Partial) Cooperative Traffic Scenarios (CM, ME, HG, MZ), pp. 423–432.
HCIHCD-2009-RiversCT #collaboration #design #interface #process
Combining Activity Theory and Grounded Theory for the Design of Collaborative Interfaces (CR, JC, AT), pp. 312–321.
ICEISICEIS-DISI-2009-WoodmanA #agile #development
Grounding and Making Sense of Agile Software Development (MW, ABAM), pp. 234–240.
SIGIRSIGIR-2009-CormackK #evaluation
Spam filter evaluation with imprecise ground truth (GVC, AK), pp. 604–611.
HPCAHPCA-2009-GreskampWKCTCZ #design #named
Blueshift: Designing processors for timing speculation from the ground up (BG, LW, URK, JJC, JT, DC, CBZ), pp. 213–224.
CADECADE-2009-GoelKT
Ground Interpolation for Combined Theories (AG, SK, CT), pp. 183–198.
ICLPICLP-2009-LierlerL #decidability #source code
One More Decidable Class of Finitely Ground Programs (YL, VL), pp. 489–493.
ICLPICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using
Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
DACDAC-2008-JiangM #power management #reduction #scheduling
Power gating scheduling for power/ground noise reduction (HJ, MMS), pp. 980–985.
DRRDRR-2008-BalAFF #documentation #generative #interactive
Interactive degraded document enhancement and ground truth generation (GB, GA, OF, GF), p. 68150.
SFMSFM-2008-Zavattaro #automaton #probability
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.
CHICHI-2008-ConvertinoMRCSG #process
Articulating common ground in cooperative work: content and process (GC, HMM, MBR, JMC, AS, CHG), pp. 1637–1646.
AdaSIGAda-2008-CicaleseWSBFGRS #architecture #distributed #multi #scalability
A distributed, multi-language architecture for large unmanned ground vehicles (CDTC, RMW, JS, RHB, KF, RG, KR, DS), pp. 133–138.
ICMLICML-2008-ChenM #learning
Learning to sportscast: a test of grounded language acquisition (DLC, RJM), pp. 128–135.
ICLPICLP-2008-OetschT #semantics
Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.
ICDARICDAR-2007-HerouxBAT #analysis #automation #comprehension #documentation #generative #image
Automatic Ground-truth Generation for Document Image Analysis and Understanding (PH, EB, SA, ÉT), pp. 476–480.
CHICHI-2007-KirkRF #collaboration #gesture
Turn it this way: grounding collaborative action with remote gestures (DSK, TR, DSF), pp. 1039–1048.
CHICHI-2007-LjungbladH
Transfer scenarios: grounding innovation with marginal practices (SL, LEH), pp. 737–746.
CSCWCSCW-2006-RazaviI #behaviour #information management #learning
A grounded theory of information sharing behavior in a personal learning space (MNR, LI), pp. 459–468.
ICPRICPR-v3-2006-KarlssonE #benchmark #metric
A Ground Truth Correspondence Measure for Benchmarking (JK, AE), pp. 568–573.
ICPRICPR-v4-2006-ShenC #segmentation
Finding Text in Natural Scenes by Figure-Ground Segmentation (HS, JMC), pp. 113–118.
KRKR-2006-Bennett #formal method
A Theory of Vague Adjectives Grounded in Relevant Observables (BB), pp. 36–45.
KRKR-2006-EiterFTTW #programming
Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.
KRKR-2006-GaudouHL
Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.
ISSTAISSTA-2006-SevcikovaBSB #approach #automation #probability #statistics #testing
Automated testing of stochastic systems: a statistically grounded approach (HS, AB, DS, WGB), pp. 215–224.
DocEngDocEng-2005-SaxenaY #tool support
GroundTruth tools & technology: applications in real world (VS, SMY), pp. 223–224.
ICDARICDAR-2005-SuzukiUN #database #image
A Ground-Truthed Mathematical Character and Symbol Image Database (MS, SU, AN), pp. 675–679.
ICDARICDAR-2005-YacoubSS #documentation #named
PerfectDoc: A Ground Truthing Environment for Complex Documents (SMY, VS, SNS), pp. 452–457.
FoSSaCSFoSSaCS-2005-Kaiser #confluence #decidability #term rewriting
Confluence of Right Ground Term Rewriting Systems Is Decidable (LK), pp. 470–489.
ICSMEICSM-IT-2005-Cuadrado
A Configuration and Change Management System for Ground Segment Operation Software (FCC), pp. 52–60.
ICALPICALP-2005-MurawskiOW #algol #equivalence #recursion
Idealized Algol with Ground Recursion, and DPDA Equivalence (ASM, CHLO, IW), pp. 917–929.
CHICHI-2005-BirnholtzFHB #ad hoc #chat #distributed #lightweight #scalability
Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.
EDOCEDOC-2005-GannodBT #approach #interactive #specification
An Interactive Approach for Specifying OWL-S Groundings (GCG, RJB, JTET), pp. 251–260.
AMOSTAMOST-2005-Lakey #industrial #modelling #specification #testing
Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report (PBL).
CADECADE-2005-GodoyT #linear #term rewriting #termination
Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules (GG, AT), pp. 164–176.
WICSAWICSA-2004-BardramCH #approach #architecture #design #learning #prototype
Architectural Prototyping: An Approach for Grounding Architectural Design and Learning (JB, HBC, KMH), pp. 15–24.
DACDAC-2004-WuC #analysis #design #network #performance
Efficient power/ground network analysis for power integrity-driven design methodology (SWW, YWC), pp. 177–180.
DATEDATE-v1-2004-BadarogluWPDGM #reduction
Digital Ground Bounce Reduction by Phase Modulation of the Clock (MB, PW, GVdP, SD, GGEG, HDM), pp. 88–93.
DATEDATE-v2-2004-WangMR #automation #megamodelling #predict
Automated, Accurate Macromodelling of Digital Aggressors for Power/Ground/Substrate Noise Prediction (ZW, RM, JSR), pp. 824–829.
DATEDATE-v2-2004-WangTC #network #optimisation
Thermal and Power Integrity Based Power/Ground Networks Optimization (TYW, JLT, CCPC), pp. 830–835.
FASEFASE-2004-ChoppyR #case study #requirements #specification #using
Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.
CHICHI-2004-CrabtreeBRGFADARTS #artificial reality #game studies
Orchestrating a mixed reality game “on the ground” (AC, SB, TR, CG, MF, RA, AD, MA, JRF, NT, AS), pp. 391–398.
ICPRICPR-v1-2004-ZhaoD
Iterative Figure-Ground Discrimination (LZ, LSD), pp. 67–70.
ICPRICPR-v2-2004-ZiD #documentation #generative #image
Document Image Ground Truth Generation from Electronic Text (GZ, DSD), pp. 663–666.
ICPRICPR-v3-2004-Li04a #representation
Sky-Ground Representation for Local Scene Description (SL), pp. 252–255.
ICPRICPR-v4-2004-Moreno-NoguerS #integration #multi #segmentation
Integration of Shape and a Multihypotheses Fisher Color Model for Figure-Ground Segmentation in Non-Stationary Environments (FMN, AS), pp. 771–774.
KRKR-2004-EiterFFPW #bound #complexity #model checking #programming #set
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.
HPDCHPDC-2004-PearlmanKGSFRFHS #case study #distributed #experience #grid #hybrid
Distributed Hybrid Earthquake Engineering Experiments: Experiences with a Ground-Shaking Grid Application (LP, CK, SG, BFSJ, JF, KR, ITF, PH, CS), pp. 14–23.
CAVCAV-2004-MouraR #evaluation
An Experimental Evaluation of Ground Decision Procedures (LMdM, HR), pp. 162–174.
IJCARIJCAR-2004-GodoyT #term rewriting
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure (GG, AT), pp. 91–106.
IJCARIJCAR-2004-Lochner #order
A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting (BL), pp. 45–59.
DATEDATE-2003-WangM #multi #optimisation #using
Power/Ground Mesh Area Optimization Using Multigrid-Based Technique (KW, MMS), pp. 10850–10855.
DocEngDocEng-2003-SimskeS #assurance #quality
A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.
LICSLICS-2003-Murawski #equivalence #on the
On Program Equivalence in Languages with Ground-Type References (ASM), p. 108–?.
DACDAC-2002-AgarwalLR #named #power management
DRG-cache: a data retention gated-ground cache for low power (AA, HL, KR), pp. 473–478.
DACDAC-2002-ChenMB02a
Coping with buffer delay change due to power and ground noise (LHC, MMS, FB), pp. 860–865.
DACDAC-2002-ZhengP #analysis #modelling #network #symmetry
Modeling and analysis of regular symmetrically structured power/ground distribution networks (HZ, LTP), pp. 395–398.
DATEDATE-2002-MukherjeeWCM #component
Sizing Power/Ground Meshes for Clocking and Computing Circuit Components (AM, KW, LHC, MMS), pp. 176–183.
FoSSaCSFoSSaCS-2002-Loding #infinity #model checking
Model-Checking Infinite Systems Generated by Ground Tree Rewriting (CL), pp. 280–294.
WRLAWRLA-2002-FissoreGK #termination
Outermost ground termination (OF, IG, HK), pp. 188–207.
ICPRICPR-v4-2002-LeeJN #modelling
Integrating Ground and Aerial Views for Urban Site Modeling (SCL, SKJ, RN), pp. 107–112.
ICPRICPR-v4-2002-TraverP #estimation #image #segmentation #using
Motion Estimation and Figure-Ground Segmentation Using Log-Polar Images (VJT, FP), pp. 166–169.
CADECADE-2002-GramlichP #algorithm #aspect-oriented #equation #modelling
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations (BG, RP), pp. 241–259.
DACDAC-2001-TanS #modelling #network #optimisation #performance
Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling (SXDT, CJRS), pp. 550–554.
ICDARICDAR-2001-HuKLWN #why
Why Table Ground-Truthing is Hard (JH, RSK, DPL, GTW, GN), pp. 129–133.
ICDARICDAR-2001-WangHP #automation #generative
Automatic Table Ground Truth Generation and a Background-Analysis-Based Table Structure Extraction Method (YW, RMH, ITP), pp. 528–532.
SASSAS-2001-Lu #analysis #logic programming #source code
Parameterizing a Groundness Analysis of Logic Programs (LL), pp. 146–164.
ICLPICLP-2001-CodishGSS #analysis
Higher-Precision Groundness Analysis (MC, SG, HS, PJS), pp. 135–149.
IJCARIJCAR-2001-AvenhausL #named #testing
CCE: Testing Ground Joinability (JA, BL), pp. 658–662.
RTARTA-2001-OyamaguchiO #confluence #problem #term rewriting #unification
The Unification Problem for Confluent Right-Ground Term Rewriting Systems (MO, YO), pp. 246–260.
ASEASE-2000-Bouhoula #confluence
Simultaneous Checking of Completeness and Ground Confluence (AB), p. 143–?.
ESOPESOP-2000-HoweK #analysis #implementation
Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.
CHICHI-2000-RodensteinD #design
Talking in circles: designing a spatially-grounded audioconferencing environment (RR, JSD), pp. 81–88.
CSCWCSCW-2000-GreenspanGWB #communication #trust
Interpersonal trust and common ground in electronically mediated communication (SG, DG, DMW, AB), pp. 251–260.
CSCWCSCW-2000-RodensteinD #social
Talking in circles: a spatially-grounded social environment (RR, JSD), p. 349.
ICPRICPR-v1-2000-GurdjosP #image #metric
About Conditions for Recovering the Metric Structures of Perpendicular Planes from the Single Ground Plane to Image Homography (PG, RP), pp. 1358–1361.
ICPRICPR-v1-2000-LiuH #database
Vehicle Ground-Truth Database for the Vertical-View Ft. Hood Imagery (GL, RMH), pp. 1342–1345.
ICPRICPR-v3-2000-HuotYHC #evolution
A General Surface Matching Model: Application to Ground Evolution Tracking (EGH, HMY, IH, IC), pp. 3167–3170.
ICPRICPR-v4-2000-OkunP #analysis #automation #documentation #evaluation #generative #layout
Automatic Ground-Truth Generation for Skew-Tolerance Evaluation of Document Layout Analysis Methods (OO, MP), pp. 4376–4379.
DACDAC-1999-TanSLLY #linear #network #optimisation #sequence
Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings (XDT, CJRS, DL, JCL, LPY), pp. 78–83.
FLOPSFLOPS-1999-RidouxBM #prolog #static analysis
Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
CHICHI-1999-VeinottOOF #video
Video Helps Remote Work: Speakers Who Need to Negotiate Common Ground Benefit from Seeing Each Other (ESV, JSO, GMO, XF), pp. 302–309.
ICLPICLP-1999-ZukowskiF #semantics
Well-founded Semantics by Transformation: The Non-ground Case (UZ, BF), pp. 456–470.
RTARTA-1999-Marcinkowski #algebra #formal method
Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol (JM), pp. 92–102.
DACDAC-1998-OhP #design #multi #network
Multi-Pad Power/Ground Network Design for Uniform Distribution of Ground Bounce (JO, MP), pp. 287–290.
DACDAC-1998-Yuan #modelling #network #simulation
Electromagnetic Modeling and Signal Integrity Simulation of Power/Ground Networks in High Speed Digital Packages and Printed Circuit Boards (FYY), pp. 421–426.
ICPRICPR-1998-HermistonBFR #estimation #recognition
Pose estimation and recognition of ground vehicles in aerial reconnaissance imagery (KJH, DMB, SBF, ALR), pp. 578–582.
UMLUML-1998-BourdeauLR #analysis #case study #diagrams #experience #uml
Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis (EB, PL, PR), pp. 227–239.
SASSAS-1997-Scozzari #analysis #logic
Logical Optimality of Groundness Analysis (FS), pp. 83–97.
LICSLICS-1997-Baader #order #reduction
Combination of Compatible Reduction Orderings that are Total on Ground Terms (FB), pp. 2–13.
LICSLICS-1997-ComonJ
Ground Reducibility is EXPTIME-Complete (HC, FJ), pp. 26–34.
RTARTA-1997-KapurS #order #proving #term rewriting #termination
A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems (DK, GS), pp. 142–156.
RTARTA-1997-Marcinkowski #first-order
Undecidability of the First Order Theory of One-Step Right Ground Rewriting (JM), pp. 241–253.
CHICHI-1996-Druin #named
CHIkids: A Common Ground for Kids and Adults (AD), pp. 506–507.
AdaTRI-Ada-1996-Gramp #architecture #communication #comparison #mobile
A Comparison of Different Tasking Architectures Used in Mobile Satellite Communication Ground Station Software (KJG), pp. 23–28.
ICPRICPR-1996-YaoC #image
Selective stabilization of images acquired by unmanned ground vehicles (YSY, RC), pp. 289–292.
KRKR-1996-GoldenW #representation #revisited
Representing Sensing Actions: The Middle Ground Revisited (KG, DSW), pp. 174–185.
CADECADE-1996-Tour #semantics #symmetry
Ground Resolution with Group Computations on Semantic Symmetries (TBdlT), pp. 478–492.
ICDARICDAR-v2-1995-YanikogluV #benchmark #documentation #metric #segmentation
Ground-truthing and benchmarking document page segmentation (BAY, LV), pp. 601–604.
AdaEuropeAdaEurope-1995-Laurens #ada
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S (AL), pp. 124–138.
ICLPICLP-1995-Lifschitz
SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.
ICLPILPS-1995-LeuschelM #deduction #representation
Partial Deduction of the Ground Representation and its Application to Integrity Checking (ML, BM), pp. 495–509.
RTARTA-1995-SchmidF #performance #testing #towards
Towards an Efficient Construction of Test Sets for Deciding Ground Reducability (KS, RF), pp. 86–100.
DATEEDAC-1994-AbderrahmanKS #estimation
Estimation of Simultaneous Switching Power and Ground Noise of Static CMOS Combinational Circuits (AA, BK, YS), p. 658.
ESOPESOP-1994-King #analysis
A Synergistic Analysis for Sharing and Groundness with Traces Linearity (AK), pp. 363–378.
KDDKDD-1994-SmythBFP #database #image #information management #nondeterminism #scalability
Knowledge Discovery in Large Image Databases: Dealing with Uncertainties in Ground Truth (PS, MCB, UMF, PP), pp. 109–120.
SACSAC-1994-KucherovR #on the #problem #term rewriting #word
On ground reducibility problem for word rewriting systems with variables (GK, MR), pp. 271–276.
CAVCAV-1994-CyrlukN #hardware #logic #verification
Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.
ICLPICLP-1994-Kagedal #analysis #data flow #prolog
A Dataflow Analysis Method for Ground Prolog (AK), p. 746.
SIGMODSIGMOD-1993-Zdonik #database #incremental
Incremental Database Systems: Databases from Ground Up (SBZ), pp. 408–412.
PEPMPEPM-1993-CharlierH #analysis #evaluation #implementation #prolog
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.
HCIHCI-ACS-1993-Haduch #interactive
Operator Interaction with Unmanned Ground Vehicles (UGV) (TWH), pp. 289–294.
LOPSTRLOPSTR-1993-Gurr #logic programming #programming language #representation
Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.
PPDPPLILP-1993-Kagedal #analysis #prolog
Improvements in Compile-Time Analysis for Ground Prolog (AK), pp. 92–107.
ICLPILPS-1993-Andrews #logic #prolog #semantics
A Logical Semantics for Depth-First Prolog with Ground Negation (JHA), pp. 220–234.
ICLPILPS-1993-Sohn #analysis #logic programming #relational #source code
Relational Groundness Analysis for Logic Programs (KS), p. 635.
ICLPILPS-1993-SudarshanR #bottom-up #evaluation #optimisation
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.
DACDAC-1992-MitsuhashiK #network #optimisation
Power and Ground Network Topology Optimization for Cell Based VLSIs (TM, ESK), pp. 524–529.
PPDPALP-1992-BundgenE #algorithm #analysis #normalisation #performance
A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.
PEPMPEPM-1991-CortesiF #abstract domain #abstract interpretation #analysis #logic programming #source code
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis (AC, GF), pp. 52–61.
CHICHI-1991-McCarthyMM #case study #communication
An experimental study of common ground in text-based communication (JCM, VCM, AFM), pp. 209–215.
ICLPICLP-1991-CodishDY #algorithm #alias #analysis #safety #unification
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis (MC, DD, EY), pp. 79–93.
LICSLICS-1991-CortesiFW #abstract domain #analysis
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.
RTARTA-1991-Marche #on the
On Ground AC-Completion (CM), pp. 411–422.
LICSLICS-1990-DauchetT #decidability #formal method #term rewriting
The Theory of Ground Rewrite Systems is Decidable (MD, ST), pp. 242–248.
DACDAC-1989-DuttaM #automation #network
Automatic Sizing of Power/Ground (P/G) Networks in VLSI (RD, MMS), pp. 783–786.
KRKR-1989-Pednault #calculus #named
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.
RTARTA-1989-BundgenK
Computing Ground Reducability and Inductively Complete Positions (RB, WK), pp. 59–75.
RTARTA-1989-DauchetD #compilation #term rewriting
Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.
RTARTA-1989-Snyder #algorithm #equation #generative #performance #set
Efficient Ground Completion: An O(n log n) Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E (WS), pp. 419–433.
RTARTA-1989-Tison #decidability #termination
Fair Termination is Decidable for Ground Systems (ST), pp. 462–476.
DACDAC-1988-WeyC #named
PLAYGROUND: Minimization of PLAs with Mixed Ground True Outputs (CLW, TYC), pp. 421–426.
CADECADE-1988-GallierNPRS #canonical #equation #finite #polynomial #set #term rewriting
Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (JHG, PN, DAP, SR, WS), pp. 182–196.
ICLPJICSCP-1988-Kluzniak88 #garbage collection #prolog
Compile Time Garbage Collection for Ground Prolog (FK), pp. 1490–1505.
DACDAC-1987-Chowdhury #automation #design
An Automated Design of Minimum-Area IC Power/Ground Nets (SC), pp. 223–229.
ICLPICLP-1987-Kluzniak87 #prolog #synthesis
Type Synthesis for Ground Prolog (FK), pp. 788–816.
ICLPICLP-1987-Tamaki87 #compilation #prolog
Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.
LICSLICS-1987-DauchetTHL #confluence #decidability #term rewriting
Decidability of the Confluence of Ground Term Rewriting Systems (MD, ST, TH, PL), pp. 353–359.
RTARTA-1987-Gobel #confluence
Ground Confluence (RG), pp. 156–167.
DACDAC-1985-ChowdhuryB
The construction of minimal area power and ground nets for VLSI circuits (SUC, MAB), pp. 794–797.
DACDAC-1983-Moulton
Laying the power and ground wires on a VLSI chip (ASM), pp. 754–755.
DACDAC-1977-GodoyFB #automation #design #logic #testing
Automatic checking of logic design structures For compliance with testability ground rules (HCG, GBF, PSB), pp. 469–478.
DACDAC-1973-Mitchell #standard
A standard test language — GOAL (Ground Operations Aerospace Language) (TRM), pp. 87–96.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.