Stem ground$ (all stems)

218 papers:

DATE-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.

DRR-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.

ICALP-v1-2015-GharibianS

Ground State Connectivity of Local Hamiltonians (SG, JS), pp. 617–628.

CSCW-2015-AsadD #community

Illegitimate Civic Participation: Supporting Community Activists on the Ground (MA, CALD), pp. 1694–1703.

ICSE-v1-2015-WatermanNA #agile #architecture #how

How Much Up-Front? A Grounded theory of Agile Architecture (MW, JN, GA), pp. 347–357.

ICLP-2015-KieslST #analysis #on the #source code

On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT).

SAT-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.

DATE-2014-Torrellas #architecture #energy #performance

Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.

ESOP-2014-AguadoMHF #concurrent #programming

Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.

CHI-2014-MurerJSS #comprehension

Taking things apart: reaching common ground and shared material understanding (MM, MJ, SS, PS), pp. 469–472.

CHI-2014-Vosoughi #automation #recognition #speech #visual notation

Improving automatic speech recognition through head pose driven visual grounding (SV), pp. 3235–3238.

ECIR-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.

ICPR-2014-HofbauerAWBU #segmentation

A Ground Truth for Iris Segmentation (HH, FAF, PW, JB, AU), pp. 527–532.

ICPR-2014-ZenRS #distance #learning #matrix #metric

Simultaneous Ground Metric Learning and Matrix Factorization with Earth Mover’s Distance (GZ, ER, NS), pp. 3690–3695.

KMIS-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.

LICS-CSL-2014-Hague #term rewriting

Senescent ground tree rewrite systems (MH), p. 10.

DATE-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.

DRR-2013-AzawiLB #documentation #layout

WFST-based ground truth alignment for difficult historical documents with text modification and layout variations (MIAAA, ML, TMB).

ICDAR-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.

ICDAR-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.

ICDAR-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.

ICDAR-2013-NafchiAMC #performance

An Efficient Ground Truthing Tool for Binarization of Historical Manuscripts (HZN, SMA, RFM, MC), pp. 807–811.

STOC-2013-BrandaoH13a #approximate #quantum

Product-state approximations to quantum ground states (FGSLB, AWH), pp. 871–880.

CSCW-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.

CSCW-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.

DUXU-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.

HCI-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.

HCI-IMT-2013-NovickG #multimodal

Grounding and Turn-Taking in Multimodal Multiparty Conversation (DGN, IG), pp. 97–106.

KEOD-2013-FrancescomarinoGK #concept #modelling #ontology

Grounding Conceptual Modelling Templates on Existing Ontologies — A Delicate Balance (CDF, CG, MTK), pp. 199–206.

MLDM-2013-LiuLM #approach #combinator #lightweight #multi

A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.

PPDP-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.

ICSE-2013-GarciaKMM #architecture

Obtaining ground-truth software architectures (JG, IK, CM, NM), pp. 901–910.

WICSA-ECSA-2012-GarciaKMD #architecture #framework

A Framework for Obtaining the Ground-Truth in Architectural Recovery (JG, IK, NM, CD), pp. 292–296.

DATE-2012-LeupersMPHSKV

Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.

ICALP-v2-2012-MurawskiT #algorithm #game studies

Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.

CSCW-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.

ICML-2012-MatuszekFZBF #learning

A Joint Model of Language and Perception for Grounded Attribute Learning (CM, NF, LSZ, LB, DF), p. 186.

ICPR-2012-BoomHHF #clustering #dataset #image #using

Supporting ground-truth annotation of image datasets using clustering (BJB, PXH, JH, RBF), pp. 1542–1545.

ICPR-2012-ElqurshE #video

Video figure ground labeling (AE, AME), pp. 2472–2475.

ICPR-2012-LiuWXZS #classification

Soft-signed sparse coding for ground-based cloud classification (SL, CW, BX, ZZ, YS), pp. 2214–2217.

ICPR-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.

FSE-2012-CossetteW #evolution #library #migration

Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.

ICLP-2012-AguadoCDPV

Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.

ICLP-2012-CatDS #incremental #lazy evaluation

Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.

ICLP-2012-MorakW #preprocessor #programming #set

Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.

IJCAR-2012-EchenimP #calculus #generative

A Calculus for Generating Ground Explanations (ME, NP), pp. 194–209.

RTA-2012-Felgenhauer #confluence #polynomial #term rewriting

Deciding Confluence of Ground Term Rewrite Systems in Cubic Time (BF), pp. 165–175.

QoSA-ISARCS-2011-GalsterA #architecture

Empirically-grounded reference architectures: a proposal (MG, PA), pp. 153–158.

ICDAR-2011-ClausnerPA #documentation #layout #named

Aletheia — An Advanced Document Layout and Text Ground-Truthing System for Production Environments (CC, SP, AA), pp. 48–52.

ICDAR-2011-HadjarI #generative #layout

Minimizing User Annotations in the Generation of Layout Ground-Truthed Data (KH, RI), pp. 703–707.

ICDAR-2011-LiangWS #image #segmentation

A Method of Evaluating Table Segmentation Results Based on a Table Image Ground Truther (YL, YW, ES), pp. 247–251.

TACAS-2011-ConchonCI #modulo theories

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (SC, EC, MI), pp. 45–59.

CHI-2011-FailyF

Persona cases: a technique for grounding personas (SF, IF), pp. 2267–2270.

CHI-2011-FurnissBC #case study #experience #lessons learnt

Confessions from a grounded theory PhD: experiences and lessons learnt (DF, AB, PC), pp. 113–122.

CHI-2011-GrandhiSJ #mobile

Telling calls: facilitating mobile phone conversation grounding and management (SAG, RPS, QJ), pp. 2153–2162.

DUXU-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.

HCI-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.

SEKE-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.

SIGIR-2011-ChatzichristofisZA11a

The TREC files: the (ground) truth is out there (SAC, KZ, AA), pp. 1289–1290.

SAC-2011-CaiFU #database #recognition #scalability

Massive character recognition with a large ground-truthed database (WC, YF, SU), pp. 240–244.

LICS-2011-GollerL #complexity #term rewriting #verification

The Complexity of Verifying Ground Tree Rewrite Systems (SG, AWL), pp. 279–288.

DATE-2010-WatanabeA #modelling #multi #performance #simulation

Equivalent circuit modeling of multilayered power/ground planes for fast transient simulation (TW, HA), pp. 1153–1158.

CHI-2010-SmythEB #named

MOSES: exploring new ground in media and post-conflict reconciliation (TNS, JE, MLB), pp. 1059–1068.

ICPR-2010-AnYB #documentation #segmentation #using

Document Segmentation Using Pixel-Accurate Ground Truth (CA, DY, HSB), pp. 245–248.

ICPR-2010-PletschacherA #analysis #framework

The PAGE (Page Analysis and Ground-Truth Elements) Format Framework (SP, AA), pp. 257–260.

KDIR-2010-JunGRO #image #predict #process

Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.

HPCA-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.

ICLP-J-2010-OetschPT #debugging #source code

Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.

DAC-2009-JangK

Simultaneous clock buffer sizing and polarity assignment for power/ground noise minimization (HJ, TK), pp. 794–799.

ICDAR-2009-StreckerBAB #automation #documentation #generative #image

Automated Ground Truth Data Generation for Newspaper Document Images (TS, JvB, SA, TMB), pp. 1275–1279.

ICDAR-2009-YinWL #documentation

A Tool for Ground-Truthing Text Lines and Characters in Off-Line Handwritten Chinese Documents (FY, QFW, CLL), pp. 951–955.

TACAS-2009-FuchsGGKT #formal method #similarity

Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.

CHI-2009-ConvertinoMRSC #process

Supporting content and process common ground in computer-supported teamwork (GC, HMM, MBR, AS, JMC), pp. 2339–2348.

CHI-2009-DiSalvoBKS #human-computer

Nourishing the ground for sustainable HCI: considerations from ecologically engaged art (CFD, KB, NK, PS), pp. 385–394.

CHI-2009-YamashitaIKI #multi #using

Difficulties in establishing common ground in multiparty groups using machine translation (NY, RI, HK, TI), pp. 679–688.

DHM-2009-MobusEGZ #empirical #modelling #probability

Probabilistic and Empirical Grounded Modeling of Agents in (Partial) Cooperative Traffic Scenarios (CM, ME, HG, MZ), pp. 423–432.

HCD-2009-RiversCT #collaboration #design #interface #process

Combining Activity Theory and Grounded Theory for the Design of Collaborative Interfaces (CR, JC, AT), pp. 312–321.

ICEIS-DISI-2009-WoodmanA #agile #development

Grounding and Making Sense of Agile Software Development (MW, ABAM), pp. 234–240.

SIGIR-2009-CormackK #evaluation

Spam filter evaluation with imprecise ground truth (GVC, AK), pp. 604–611.

HPCA-2009-GreskampWKCTCZ #design #named

Blueshift: Designing processors for timing speculation from the ground up (BG, LW, URK, JJC, JT, DC, CBZ), pp. 213–224.

CADE-2009-GoelKT

Ground Interpolation for Combined Theories (AG, SK, CT), pp. 183–198.

ICLP-2009-LierlerL #decidability #source code

One More Decidable Class of Finitely Ground Programs (YL, VL), pp. 489–493.

ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using

Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.

DAC-2008-JiangM #power management #reduction #scheduling

Power gating scheduling for power/ground noise reduction (HJ, MMS), pp. 980–985.

DRR-2008-BalAFF #documentation #generative #interactive

Interactive degraded document enhancement and ground truth generation (GB, GA, OF, GF), p. 68150.

SFM-2008-Zavattaro #automaton #probability

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.

CHI-2008-ConvertinoMRCSG #process

Articulating common ground in cooperative work: content and process (GC, HMM, MBR, JMC, AS, CHG), pp. 1637–1646.

SIGAda-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.

ICML-2008-ChenM #learning

Learning to sportscast: a test of grounded language acquisition (DLC, RJM), pp. 128–135.

ICLP-2008-OetschT #semantics

Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.

ICDAR-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.

CHI-2007-KirkRF #collaboration #gesture

Turn it this way: grounding collaborative action with remote gestures (DSK, TR, DSF), pp. 1039–1048.

CHI-2007-LjungbladH

Transfer scenarios: grounding innovation with marginal practices (SL, LEH), pp. 737–746.

CSCW-2006-RazaviI #behaviour #information management #learning

A grounded theory of information sharing behavior in a personal learning space (MNR, LI), pp. 459–468.

ICPR-v3-2006-KarlssonE #benchmark #metric

A Ground Truth Correspondence Measure for Benchmarking (JK, AE), pp. 568–573.

ICPR-v4-2006-ShenC #segmentation

Finding Text in Natural Scenes by Figure-Ground Segmentation (HS, JMC), pp. 113–118.

KR-2006-Bennett #formal method

A Theory of Vague Adjectives Grounded in Relevant Observables (BB), pp. 36–45.

KR-2006-EiterFTTW #programming

Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.

KR-2006-GaudouHL

Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.

ISSTA-2006-SevcikovaBSB #approach #automation #probability #statistics #testing

Automated testing of stochastic systems: a statistically grounded approach (HS, AB, DS, WGB), pp. 215–224.

DocEng-2005-SaxenaY #tool support

GroundTruth tools & technology: applications in real world (VS, SMY), pp. 223–224.

ICDAR-2005-SuzukiUN #database #image

A Ground-Truthed Mathematical Character and Symbol Image Database (MS, SU, AN), pp. 675–679.

ICDAR-2005-YacoubSS #documentation #named

PerfectDoc: A Ground Truthing Environment for Complex Documents (SMY, VS, SNS), pp. 452–457.

FoSSaCS-2005-Kaiser #confluence #decidability #term rewriting

Confluence of Right Ground Term Rewriting Systems Is Decidable (LK), pp. 470–489.

ICSM-IT-2005-Cuadrado

A Configuration and Change Management System for Ground Segment Operation Software (FCC), pp. 52–60.

ICALP-2005-MurawskiOW #algol #equivalence #recursion

Idealized Algol with Ground Recursion, and DPDA Equivalence (ASM, CHLO, IW), pp. 917–929.

CHI-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.

EDOC-2005-GannodBT #approach #interactive #specification

An Interactive Approach for Specifying OWL-S Groundings (GCG, RJB, JTET), pp. 251–260.

AMOST-2005-Lakey #industrial #modelling #specification #testing

Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report (PBL).

CADE-2005-GodoyT #linear #term rewriting #termination

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules (GG, AT), pp. 164–176.

WICSA-2004-BardramCH #approach #architecture #design #learning #prototype

Architectural Prototyping: An Approach for Grounding Architectural Design and Learning (JB, HBC, KMH), pp. 15–24.

DAC-2004-WuC #analysis #design #network #performance

Efficient power/ground network analysis for power integrity-driven design methodology (SWW, YWC), pp. 177–180.

DATE-v1-2004-BadarogluWPDGM #reduction

Digital Ground Bounce Reduction by Phase Modulation of the Clock (MB, PW, GVdP, SD, GGEG, HDM), pp. 88–93.

DATE-v2-2004-WangMR #automation #megamodelling #predict

Automated, Accurate Macromodelling of Digital Aggressors for Power/Ground/Substrate Noise Prediction (ZW, RM, JSR), pp. 824–829.

DATE-v2-2004-WangTC #network #optimisation

Thermal and Power Integrity Based Power/Ground Networks Optimization (TYW, JLT, CCPC), pp. 830–835.

FASE-2004-ChoppyR #case study #requirements #specification #using

Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.

CHI-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.

ICPR-v1-2004-ZhaoD

Iterative Figure-Ground Discrimination (LZ, LSD), pp. 67–70.

ICPR-v2-2004-ZiD #documentation #generative #image

Document Image Ground Truth Generation from Electronic Text (GZ, DSD), pp. 663–666.

ICPR-v3-2004-Li04a #representation

Sky-Ground Representation for Local Scene Description (SL), pp. 252–255.

ICPR-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.

KR-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.

HPDC-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.

CAV-2004-MouraR #evaluation

An Experimental Evaluation of Ground Decision Procedures (LMdM, HR), pp. 162–174.

IJCAR-2004-GodoyT #term rewriting

Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure (GG, AT), pp. 91–106.

IJCAR-2004-Lochner #order

A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting (BL), pp. 45–59.

DATE-2003-WangM #multi #optimisation #using

Power/Ground Mesh Area Optimization Using Multigrid-Based Technique (KW, MMS), pp. 10850–10855.

DocEng-2003-SimskeS #assurance #quality

A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.

LICS-2003-Murawski #equivalence #on the

On Program Equivalence in Languages with Ground-Type References (ASM), p. 108–?.

DAC-2002-AgarwalLR #named #power management

DRG-cache: a data retention gated-ground cache for low power (AA, HL, KR), pp. 473–478.

DAC-2002-ChenMB02a

Coping with buffer delay change due to power and ground noise (LHC, MMS, FB), pp. 860–865.

DAC-2002-ZhengP #analysis #modelling #network #symmetry

Modeling and analysis of regular symmetrically structured power/ground distribution networks (HZ, LTP), pp. 395–398.

DATE-2002-MukherjeeWCM #component

Sizing Power/Ground Meshes for Clocking and Computing Circuit Components (AM, KW, LHC, MMS), pp. 176–183.

FoSSaCS-2002-Loding #infinity #model checking

Model-Checking Infinite Systems Generated by Ground Tree Rewriting (CL), pp. 280–294.

WRLA-2002-FissoreGK #termination

Outermost ground termination (OF, IG, HK), pp. 188–207.

ICPR-v4-2002-LeeJN #modelling

Integrating Ground and Aerial Views for Urban Site Modeling (SCL, SKJ, RN), pp. 107–112.

ICPR-v4-2002-TraverP #estimation #image #segmentation #using

Motion Estimation and Figure-Ground Segmentation Using Log-Polar Images (VJT, FP), pp. 166–169.

CADE-2002-GramlichP #algorithm #aspect-oriented #equation #modelling

Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations (BG, RP), pp. 241–259.

DAC-2001-TanS #modelling #network #optimisation #performance

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling (SXDT, CJRS), pp. 550–554.

ICDAR-2001-HuKLWN #why

Why Table Ground-Truthing is Hard (JH, RSK, DPL, GTW, GN), pp. 129–133.

ICDAR-2001-WangHP #automation #generative

Automatic Table Ground Truth Generation and a Background-Analysis-Based Table Structure Extraction Method (YW, RMH, ITP), pp. 528–532.

SAS-2001-Lu #analysis #logic programming #source code

Parameterizing a Groundness Analysis of Logic Programs (LL), pp. 146–164.

ICLP-2001-CodishGSS #analysis

Higher-Precision Groundness Analysis (MC, SG, HS, PJS), pp. 135–149.

IJCAR-2001-AvenhausL #named #testing

CCE: Testing Ground Joinability (JA, BL), pp. 658–662.

RTA-2001-OyamaguchiO #confluence #problem #term rewriting #unification

The Unification Problem for Confluent Right-Ground Term Rewriting Systems (MO, YO), pp. 246–260.

ASE-2000-Bouhoula #confluence

Simultaneous Checking of Completeness and Ground Confluence (AB), p. 143–?.

ESOP-2000-HoweK #analysis #implementation

Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.

CHI-2000-RodensteinD #design

Talking in circles: designing a spatially-grounded audioconferencing environment (RR, JSD), pp. 81–88.

CSCW-2000-GreenspanGWB #communication #trust

Interpersonal trust and common ground in electronically mediated communication (SG, DG, DMW, AB), pp. 251–260.

CSCW-2000-RodensteinD #social

Talking in circles: a spatially-grounded social environment (RR, JSD), p. 349.

ICPR-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.

ICPR-v1-2000-LiuH #database

Vehicle Ground-Truth Database for the Vertical-View Ft. Hood Imagery (GL, RMH), pp. 1342–1345.

ICPR-v3-2000-HuotYHC #evolution

A General Surface Matching Model: Application to Ground Evolution Tracking (EGH, HMY, IH, IC), pp. 3167–3170.

ICPR-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.

DAC-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.

FLOPS-1999-RidouxBM #prolog #static analysis

Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.

CHI-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.

ICLP-1999-ZukowskiF #semantics

Well-founded Semantics by Transformation: The Non-ground Case (UZ, BF), pp. 456–470.

RTA-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.

DAC-1998-OhP #design #multi #network

Multi-Pad Power/Ground Network Design for Uniform Distribution of Ground Bounce (JO, MP), pp. 287–290.

DAC-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.

ICPR-1998-HermistonBFR #estimation #recognition

Pose estimation and recognition of ground vehicles in aerial reconnaissance imagery (KJH, DMB, SBF, ALR), pp. 578–582.

UML-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.

SAS-1997-Scozzari #analysis #logic

Logical Optimality of Groundness Analysis (FS), pp. 83–97.

LICS-1997-Baader #order #reduction

Combination of Compatible Reduction Orderings that are Total on Ground Terms (FB), pp. 2–13.

LICS-1997-ComonJ

Ground Reducibility is EXPTIME-Complete (HC, FJ), pp. 26–34.

RTA-1997-KapurS #order #proving #term rewriting #termination

A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems (DK, GS), pp. 142–156.

RTA-1997-Marcinkowski #first-order

Undecidability of the First Order Theory of One-Step Right Ground Rewriting (JM), pp. 241–253.

CHI-1996-Druin #named

CHIkids: A Common Ground for Kids and Adults (AD), pp. 506–507.

TRI-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.

ICPR-1996-YaoC #image

Selective stabilization of images acquired by unmanned ground vehicles (YSY, RC), pp. 289–292.

KR-1996-GoldenW #representation #revisited

Representing Sensing Actions: The Middle Ground Revisited (KG, DSW), pp. 174–185.

CADE-1996-Tour #semantics #symmetry

Ground Resolution with Group Computations on Semantic Symmetries (TBdlT), pp. 478–492.

ICDAR-v2-1995-YanikogluV #benchmark #documentation #metric #segmentation

Ground-truthing and benchmarking document page segmentation (BAY, LV), pp. 601–604.

AdaEurope-1995-Laurens #ada

PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S (AL), pp. 124–138.

ICLP-1995-Lifschitz

SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.

ILPS-1995-LeuschelM #deduction #representation

Partial Deduction of the Ground Representation and its Application to Integrity Checking (ML, BM), pp. 495–509.

RTA-1995-SchmidF #performance #testing #towards

Towards an Efficient Construction of Test Sets for Deciding Ground Reducability (KS, RF), pp. 86–100.

EDAC-1994-AbderrahmanKS #estimation

Estimation of Simultaneous Switching Power and Ground Noise of Static CMOS Combinational Circuits (AA, BK, YS), p. 658.

ESOP-1994-King #analysis

A Synergistic Analysis for Sharing and Groundness with Traces Linearity (AK), pp. 363–378.

KDD-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.

SAC-1994-KucherovR #on the #problem #term rewriting #word

On ground reducibility problem for word rewriting systems with variables (GK, MR), pp. 271–276.

CAV-1994-CyrlukN #hardware #logic #verification

Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.

ICLP-1994-Kagedal #analysis #data flow #prolog

A Dataflow Analysis Method for Ground Prolog (AK), p. 746.

SIGMOD-1993-Zdonik #database #incremental

Incremental Database Systems: Databases from Ground Up (SBZ), pp. 408–412.

PEPM-1993-CharlierH #analysis #evaluation #implementation #prolog

Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.

HCI-ACS-1993-Haduch #interactive

Operator Interaction with Unmanned Ground Vehicles (UGV) (TWH), pp. 289–294.

LOPSTR-1993-Gurr #logic programming #programming language #representation

Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.

PLILP-1993-Kagedal #analysis #prolog

Improvements in Compile-Time Analysis for Ground Prolog (AK), pp. 92–107.

ILPS-1993-Andrews #logic #prolog #semantics

A Logical Semantics for Depth-First Prolog with Ground Negation (JHA), pp. 220–234.

ILPS-1993-Sohn #analysis #logic programming #relational #source code

Relational Groundness Analysis for Logic Programs (KS), p. 635.

ILPS-1993-SudarshanR #bottom-up #evaluation #optimisation

Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.

DAC-1992-MitsuhashiK #network #optimisation

Power and Ground Network Topology Optimization for Cell Based VLSIs (TM, ESK), pp. 524–529.

ALP-1992-BundgenE #algorithm #analysis #normalisation #performance

A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.

PEPM-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.

CHI-1991-McCarthyMM #case study #communication

An experimental study of common ground in text-based communication (JCM, VCM, AFM), pp. 209–215.

ICLP-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.

LICS-1991-CortesiFW #abstract domain #analysis

Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.

RTA-1991-Marche #on the

On Ground AC-Completion (CM), pp. 411–422.

LICS-1990-DauchetT #decidability #formal method #term rewriting

The Theory of Ground Rewrite Systems is Decidable (MD, ST), pp. 242–248.

DAC-1989-DuttaM #automation #network

Automatic Sizing of Power/Ground (P/G) Networks in VLSI (RD, MMS), pp. 783–786.

KR-1989-Pednault #calculus #named

ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.

RTA-1989-BundgenK

Computing Ground Reducability and Inductively Complete Positions (RB, WK), pp. 59–75.

RTA-1989-DauchetD #compilation #term rewriting

Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.

RTA-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.

RTA-1989-Tison #decidability #termination

Fair Termination is Decidable for Ground Systems (ST), pp. 462–476.

DAC-1988-WeyC #named

PLAYGROUND: Minimization of PLAs with Mixed Ground True Outputs (CLW, TYC), pp. 421–426.

CADE-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.

JICSCP-1988-Kluzniak88 #garbage collection #prolog

Compile Time Garbage Collection for Ground Prolog (FK), pp. 1490–1505.

DAC-1987-Chowdhury #automation #design

An Automated Design of Minimum-Area IC Power/Ground Nets (SC), pp. 223–229.

ICLP-1987-Kluzniak87 #prolog #synthesis

Type Synthesis for Ground Prolog (FK), pp. 788–816.

ICLP-1987-Tamaki87 #compilation #prolog

Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.

LICS-1987-DauchetTHL #confluence #decidability #term rewriting

Decidability of the Confluence of Ground Term Rewriting Systems (MD, ST, TH, PL), pp. 353–359.

RTA-1987-Gobel #confluence

Ground Confluence (RG), pp. 156–167.

DAC-1985-ChowdhuryB

The construction of minimal area power and ground nets for VLSI circuits (SUC, MAB), pp. 794–797.

DAC-1983-Moulton

Laying the power and ground wires on a VLSI chip (ASM), pp. 754–755.

DAC-1977-GodoyFB #automation #design #logic #testing

Automatic checking of logic design structures For compliance with testability ground rules (HCG, GBF, PSB), pp. 469–478.

DAC-1973-Mitchell #standard

A standard test language — GOAL (Ground Operations Aerospace Language) (TRM), pp. 87–96.