Stem guid$ (all stems)

440 papers:

CASE-2015-LiLFZT #automation

Vision-based intelligent forklift Automatic Guided Vehicle (AGV) (LL, YL, MF, ZZ, HT), pp. 264–265.

DAC-2015-HanF #analysis #approach #cpu #gpu #graph #scalability

Transient-simulation guided graph sparsification approach to scalable harmonic balance (HB) analysis of post-layout RF circuits leveraging heterogeneous CPU-GPU computing systems (LH, ZF), p. 6.

DAC-2015-PapamichaelMH #algorithm #automation #design #named #performance #search-based #using

Nautilus: fast automated IP design space search using guided genetic algorithms (MKP, PM, JCH), p. 6.

PODS-2015-CzerwinskiMPP

The (Almost) Complete Guide to Tree Pattern Containment (WC, WM, PP, MP), pp. 117–130.

ICSME-2015-YangHHK #java #refactoring #towards

Towards purity-guided refactoring in Java (JY, KH, YH, SK), pp. 521–525.

PLDI-2015-BowmanMSD #metaprogramming

Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.

SAS-2015-LiTX #analysis #effectiveness

Effective Soundness-Guided Reflection Analysis (YL, TT, JX), pp. 162–180.

CHI-2015-MariakakisGAPW #mobile #named #using

SwitchBack: Using Focus and Saccade Tracking to Guide Users’ Attention for Mobile Task Resumption (AM, MG, MTIA, SNP, JOW), pp. 2953–2962.

CHI-2015-OskampBHG #analysis #design #evaluation #multi #named

TerraGuide: Design and Evaluation of a Multi-Surface Environment for Terrain Visibility Analysis (MO, CB, RH, TCNG), pp. 3553–3562.

CHI-2015-Wacharamanotham #analysis #named #statistics

Statsplorer: Guiding Novices in Statistical Analysis (CW, KS, STV, JOB), pp. 2693–2702.

DUXU-UI-2015-CarvalhoP #design #user interface

Sound Design and UX: The Dynamic Audio Application Guide (LRC, ATCP), pp. 289–300.

DUXU-UI-2015-SpinilloP #design #interactive #visual notation

An Interactive Guide to Design Animated Visual Instructions in Brazil (CGS, RP), pp. 374–381.

HCI-DE-2015-WatsonS #assessment #using

Using Readers’ and Organizations’ Goals to Guide Assessment of Success in Information Websites (RBW, JHS), pp. 283–294.

KDD-2015-WangCGDKCMS #data analysis #health #named

Rubik: Knowledge Guided Tensor Factorization and Completion for Health Data Analytics (YW, RC, JG, JCD, ANK, YC, BAM, JS), pp. 1265–1274.

SEKE-2015-WangSZ #detection #execution #symbolic computation

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.

OOPSLA-2015-LeSS #compilation #debugging #probability

Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.

SAC-2015-BritoE #branch #named #performance #query

BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.

ESEC-FSE-2015-ChenS #difference #implementation #testing #validation

Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread

Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.

ESEC-FSE-2015-MangalZNN #approach #program analysis

A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.

ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation

Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.

HPCA-2015-LoCIS #monitoring #runtime #using

Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.

CAV-2015-ChenHWZ #generative #invariant #polynomial

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.

CAV-2015-ReynoldsDKTB #quantifier #smt #synthesis

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT (AR, MD, VK, CT, CWB), pp. 198–216.

ICST-2015-YuC #embedded #generative #stack #testing #worst-case

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.

ASE-2014-KusanoW #abstraction #optimisation #partial order #reduction

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.

ASE-2014-YeXZC #ranking #retrieval

Interrogative-guided re-ranking for question-oriented software text retrieval (TY, BX, YZ, XC), pp. 115–120.

CASE-2014-ChowJCN #novel

A novel vision guided knot-tying method for autonomous robotic surgery (DLC, RCJ, MCC, WSN), pp. 504–508.

CASE-2014-MeaclemSPGHMC

Sensor guided biped felling machine for steep terrain harvesting (CVM, LS, RP, SG, CEH, BJEM, XC), pp. 984–989.

DAC-2014-ShankarSWP #analysis #concept #design #specification

Ontology-guided Conceptual Analysis of Design Specifications (AS, BPS, FGW, CAP), p. 6.

DATE-2014-Braak #adaptation #embedded #scalability #using

Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.

DATE-2014-BurlyaevFG

Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.

DATE-2014-TtofisT #hardware #image #realtime

High-quality real-time hardware stereo matching based on guided image filtering (CT, TT), pp. 1–6.

DATE-2014-WangLLW0 #design #functional #generative #testing

Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.

CSEET-2014-Ding #learning #re-engineering #self

Self-guided learning environment for undergraduate software engineering (JD), pp. 188–189.

PLDI-2014-OhLHYY #context-sensitive grammar

Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.

FLOPS-2014-ChenE #debugging

Guided Type Debugging (SC, ME), pp. 35–51.

CHI-2014-CranshawLKS #social

Curated city: capturing individual city guides through social curation (JC, KL, PGK, NMS), pp. 3249–3258.

CHI-2014-HazzardBB #case study #experience

Walk this way: musically guided walking experiences (AH, SB, GEB), pp. 605–614.

CHI-2014-WangCCHC #automation #interactive #named #smarttech

EverTutor: automatically creating interactive guided tutorials on smartphones by user demonstration (CYW, WCC, HRC, CYH, MYC), pp. 4027–4036.

CHI-2014-Wein #question #recognition #visual notation

Visual recognition in museum guide apps: do visitors want it? (LW), pp. 635–638.

HCI-AS-2014-JeonCY #case study #mobile

Developing a Location-Aware Mobile Guide System for GLAMs Based on TAPIR Sound Tag: A Case Study of the Lee Ungno Museum (JJ, GC, WSY), pp. 425–433.

ICPR-2014-MittalKKK #recognition #using

Small Object Discovery and Recognition Using Actively Guided Robot (SM, MSK, SK, KMK), pp. 4334–4339.

ICPR-2014-SandhanC #dataset #hybrid #pattern matching #pattern recognition #recognition

Handling Imbalanced Datasets by Partially Guided Hybrid Sampling for Pattern Recognition (TS, JYC), pp. 1449–1453.

KR-2014-SiderisD #heuristic #optimisation

Heuristic Guided Optimization for Propositional Planning (AS, YD).

SEKE-2014-AnvaariZ #architecture #design #reuse #towards

Towards Reusing Architectural Knowledge as Design Guides (MA, OZ), pp. 181–186.

SKY-2014-FragaM #requirements

Systems Engineering Requirements: A Guided Example of an Applied Knowledge System (AF, JLM), pp. 19–30.

OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface

EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.

SAC-2014-BoghratiHK #framework #process #using

Activities performed by programmers while using framework examples as a guide (RB, AH, MK), pp. 1146–1151.

FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement

Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.

FSE-2014-SeoK #how #testing

How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.

ICSE-2014-GopinathKSC #data-driven

Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.

ICSE-2014-JiangGXML #concurrent #java #named #source code

CARE: cache guided deterministic replay for concurrent Java programs (YJ, TG, CX, XM, JL), pp. 457–467.

OSDI-2014-RyzhykWKLRSV #synthesis

User-Guided Device Driver Synthesis (LR, AW, JK, AL, AR, MS, MV), pp. 661–676.

CAV-2014-BirgmeierBW #abstraction #induction

Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.

SAT-2014-LarrazORR #constraints #polynomial

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.

CBSE-2013-KarveS #component #mining #online #towards

Towards mining informal online data to guide component-reuse decisions (SK, CS), pp. 65–74.

ASE-2013-TasharofiPLJ #automation #named #source code #testing

Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.

CASE-2013-RenfrewBC #locality

Particle filter based active localization of target and needle in robotic image-guided intervention systems (MR, ZB, MCC), pp. 448–454.

DAC-2013-LiuCHVNBP #design #energy #logic #physics

Minimum-energy state guided physical design for nanomagnet logic (SL, GC, XSH, EV, MTN, GHB, WP), p. 7.

DAC-2013-WuWLH #algorithm #generative #model checking #satisfiability

A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.

HT-2013-LopezKSL #integration

Guided exploration and integration of urban data (VL, SK, MLS, RL), pp. 242–247.

HT-2013-WolffMC #data flow #named #using

Storyscope: using theme and setting to guide story enrichment from external data sources (AW, PM, TDC), pp. 79–88.

ICDAR-2013-SunH #approach #component #image

An Improved Component Tree Based Approach to User-Intention Guided Text Extraction from Natural Scene Images (LS, QH), pp. 383–387.

ESOP-2013-SeghirK

Counterexample-Guided Precondition Inference (MNS, DK), pp. 451–471.

ICALP-v2-2013-SpirakisNR #graph #random

A Guided Tour in Random Intersection Graphs (PGS, SEN, CR), pp. 29–35.

IFM-2013-HudonH #design

Systems Design Guided by Progress Concerns (SH, TSH), pp. 16–30.

CHI-2013-AndersonB #gesture #learning #performance

Learning and performance with gesture guides (FA, WFB), pp. 1109–1118.

DHM-SET-2013-PuchWFP #evaluation #interactive #simulation #using

Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation (SP, BW, MF, TP), pp. 108–117.

DUXU-CXC-2013-HassB #testing #usability

Usability Testing Medical Devices: A Practical Guide to Minimizing Risk and Maximizing Success (CH, DB), pp. 407–416.

HCI-IMT-2013-RabeW #interactive #memory management

Enhancing Human Computer Interaction with Episodic Memory in a Virtual Guide (FR, IW), pp. 117–125.

HIMI-HSM-2013-JangOKK

User Guiding Information Supporting Application for Clinical Procedure in Traditional Medicine (HJ, YTO, AK, SKK), pp. 100–109.

ICEIS-J-2013-NganBEB13a #capacity #energy #framework #optimisation

Optimizing Power, Heating, and Cooling Capacity on a Decision-Guided Energy Investment Framework (CKN, AB, NEE, EB), pp. 154–173.

ICEIS-v1-2013-NganBEB #capacity #energy #framework

A Decision-Guided Energy Framework for Optimal Power, Heating, and Cooling Capacity Investment (CKN, AB, NEE, EB), pp. 357–369.

ICML-c3-2013-LevineK #policy

Guided Policy Search (SL, VK), pp. 1–9.

KDD-2013-AhmedS #modelling #parametricity #scalability

The dataminer’s guide to scalable mixed-membership and nonparametric bayesian models (AA, AJS), p. 1529.

KDD-2013-GilpinED #algorithm #framework #learning

Guided learning for role discovery (GLRD): framework, algorithms, and applications (SG, TER, IND), pp. 113–121.

RecSys-2013-TaramigkouBCAM #music

Escape the bubble: guided exploration of music preferences for serendipity and novelty (MT, EB, KC, DA, GM), pp. 335–338.

OOPSLA-2013-ChoiNS #android #approximate #learning #testing #user interface

Guided GUI testing of android apps with minimal restart and approximate learning (WC, GCN, KS), pp. 623–640.

SAC-2013-GoncalvesTM #towards

Towards a software tool for ultrasound guided robotic hip resurfacing surgery (PJSG, PMBT, JMMM), pp. 232–234.

ICSE-2013-EsfahaniMR #architecture #named #nondeterminism

GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.

ICSE-2013-ThummalapentaLSSC #generative #testing #web

Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.

CC-2013-KempfVP #identification #parallel

Compiler-Guided Identification of Critical Sections in Parallel Code (SK, RV, MP), pp. 204–223.

CGO-2013-HomescuNLBF #automation

Profile-guided automated software diversity (AH, SN, PL, SB, MF), p. 11.

ICTSS-2013-ElyasovPH #algebra #mining #specification

Guided Algebraic Specification Mining for Failure Simplification (AE, ISWBP, JH), pp. 223–238.

SAT-2013-FujitaKH #constraints #named #satisfiability

SCSat: A Soft Constraint Guided SAT Solver (HF, MK, RH), pp. 415–421.

SAT-2013-IgnatievJM #approach #quantifier #satisfiability

Quantified Maximum Satisfiability: — A Core-Guided Approach (AI, MJ, JMS), pp. 250–266.

VMCAI-2013-Yahav #synthesis

Abstraction-Guided Synthesis (EY), p. 27.

CASE-2012-KimHMH #development #empirical #maintenance

Development of a seismic-wind load effect experiment system for built-in guide rail building maintenance robot (SWK, DH, SMM, JH), pp. 1016–1021.

CASE-2012-KimLKCH #algorithm

Proposal of built-in-guide-rail type building façade cleaning robot and its motion planning algorithm (DHK, SL, MK, BIC, CSH), pp. 1004–1009.

DAC-2012-LiANSVZ #design #physics #predict

Guiding a physical design closure system to produce easier-to-route designs with more predictable timing (ZL, CJA, GJN, CCNS, NV, NYZ), pp. 465–470.

DATE-2012-HaedickeGD #metric #verification

A guiding coverage metric for formal verification (FH, DG, RD), pp. 617–622.

DATE-2012-TanLXTC #branch #energy #predict #stack

Energy-efficient branch prediction with Compiler-guided History Stack (MT, XL, ZX, DT, XC), pp. 449–454.

ITiCSE-2012-BoyceCPCB #behaviour #game studies #learning

Maximizing learning and guiding behavior in free play user generated content environments (AKB, AC, SP, DC, TB), pp. 10–15.

TACAS-2012-AbdullaACLR

Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.

FM-2012-AartsHKOV #abstraction #automaton #learning #refinement

Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.

SFM-2012-CabotG #constraints #ocl

Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.

SFM-2012-Selic #uml

The Less Well Known UML — A Short User Guide (BS), pp. 1–20.

CHI-2012-SodhiBW #named #visualisation

LightGuide: projected visualizations for hand movement guidance (RS, HB, ADW), pp. 179–188.

ICEIS-v2-2012-SemenovV #analysis #architecture #social #social media

Ontology-guided Social Media Analysis — System Architecture (AS, JV), pp. 335–341.

CIKM-2012-YuSNMH #network #similarity #using

User guided entity similarity search using meta-path selection in heterogeneous information networks (XY, YS, BN, TM, JH), pp. 2025–2029.

ICPR-2012-LiuGL #artificial reality

Guided inpainting and filtering for Kinect depth maps (JL, XG, JL), pp. 2055–2058.

ICPR-2012-PhanST #detection #symmetry #using

Text detection in natural scenes using Gradient Vector Flow-Guided symmetry (TQP, PS, CLT), pp. 3296–3299.

ICPR-2012-SunH #component

A component-tree based method for user-intention guided text extraction (LS, QH), pp. 633–636.

KDD-2012-SunNHYYY #clustering #network

Integrating meta-path selection with user-guided object clustering in heterogeneous information networks (YS, BN, JH, XY, PSY, XY), pp. 1348–1356.

KDIR-2012-NeumannS #mobile #web

Guided Exploratory Search on the Mobile Web (GN, SS), pp. 65–74.

ECMFA-2012-BehjatiNYGB #automation #embedded #modelling

Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.

LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing

A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.

RE-2012-AmellerCF #architecture #named #tool support

ArchiTech: Tool support for NFR-guided architectural decision-making (DA, OC, XF), pp. 315–316.

SAC-2012-BartschS #approach #policy

Guiding decisions on authorization policies: a participatory approach to decision support (SB, MAS), pp. 1502–1507.

SAC-2012-RahmanOMCA #development #mobile

Let EcoDrive be your guide: development of a mobile tool to reduce carbon footprint and promote green transport (FR, CO, KM, JC, SIA), pp. 519–524.

SAC-2012-WornIH #multi

Multi-fingered reactive grasping with active guided camera systems (HW, SI, TH), pp. 268–273.

SLE-2012-WidlBBEHKST #diagrams #sequence chart

Guided Merging of Sequence Diagrams (MW, AB, PB, UE, MH, GK, MS, HT), pp. 164–183.

CGO-2012-SembrantBH #modelling #performance #profiling

Phase guided profiling for fast cache modeling (AS, DBS, EH), pp. 175–185.

LCTES-2012-FarhadKBS #deployment #multi #source code

Profile-guided deployment of stream programs on multicores (SMF, YK, BB, BS), pp. 79–88.

CAV-2012-BogomolovFGLPW #analysis #distance #reachability

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.

CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.

ICLP-2012-SilverthornLS

Surviving Solver Sensitivity: An ASP Practitioner’s Guide (BS, YL, MS), pp. 164–175.

ICTSS-2012-DangS #estimation #hybrid #testing

State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.

SAT-2012-JanotaKMC #refinement

Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.

SAT-2012-MorgadoHM #satisfiability

Improvements to Core-Guided Binary Search for MaxSAT (AM, FH, JMS), pp. 284–297.

ECSA-2011-CiraciSA #architecture #evolution

Guiding Architects in Selecting Architectural Evolution Alternatives (SC, HS, MA), pp. 252–260.

ASE-2011-HegedusHRV #design #framework #modelling

A model-driven framework for guided design space exploration (ÁH, ÁH, IR, DV), pp. 173–182.

ASE-2011-SagdeoAKV #clustering #invariant #named #using

PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.

ASE-2011-WesongaMR #concurrent #fault #source code #visualisation

Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.

CASE-2011-WuS #bound #multi #problem

A lower and upper bound guided nested partitions method for solving capacitated multi-level production planning problems (TW, LS), pp. 78–83.

DATE-2011-BradyHS

Counterexample-guided SMT-driven optimal buffer sizing (BAB, DEH, SAS), pp. 329–334.

VLDB-2011-KerstenIML #database #query #research

The Researcher’s Guide to the Data Deluge: Querying a Scientific Database in Just a Few Seconds (MLK, SI, SM, EL), pp. 1474–1477.

VLDB-2011-NandiJ #interactive #paradigm

Guided Interaction: Rethinking the Query-Result Paradigm (AN, HVJ), pp. 1466–1469.

VLDB-2011-YakoutENOI #program repair

Guided data repair (MY, AKE, JN, MO, IFI), pp. 279–289.

CSEET-2011-Scharff #agile #assurance #development #quality #using

Guiding global software development projects using Scrum and Agile with quality assurance (CS), pp. 274–283.

ITiCSE-2011-LevyV #education #problem

A problem solving teaching guide based on a procedure intertwined with a teaching model (RBBL, JÁVI), p. 374.

ITiCSE-2011-ShuhidanHD #comprehension #learning

Understanding novice programmer difficulties via guided learning (SMS, MH, DJD), pp. 213–217.

ICSM-2011-BachwaniCBKZ #debugging #named

Sahara: Guiding the debugging of failed software upgrades (RB, OC, RB, DK, WZ), pp. 263–272.

CHI-2011-AmershiLKMC #named #network #performance

CueT: human-guided fast and accurate network alarm triage (SA, BL, AK, RM, BC), pp. 157–166.

CHI-2011-FrischKLD #layout #multi #tool support

Grids & guides: multi-touch layout and alignment tools (MF, SK, RL, RD), pp. 1615–1618.

CHI-2011-JohnsonOSCC #interactive

Exploring the potential for touchless interaction in image-guided interventional radiology (RJ, KO, AS, CC, AC), pp. 3323–3332.

HCI-MIIE-2011-GaoG #mobile #representation

The Effect of Time Orientation and Representation of Points of Interests on the Use of Mobile Tour Guide (FG, QG), pp. 59–68.

IDGD-2011-WangG #development #experience #mobile #network #research #user interface

The User’s Emotional Elements Research of Mobile Network Products Development Guided by User Experience (YW, QG), pp. 332–340.

ICEIS-v1-2011-PintoG #database #ontology

Knowledge Extraction Guided by Ontologies — Database Marketing Application (FMP, TG), pp. 320–325.

RecSys-2011-BraunhoferKR #mobile #music #recommendation

Recommending music for places of interest in a mobile travel guide (MB, MK, FR), pp. 253–256.

ICSE-2011-ArcuriB #algorithm #random #re-engineering #statistics #testing #using

A practical guide for using statistical tests to assess randomized algorithms in software engineering (AA, LCB), pp. 1–10.

ICSE-2011-CassouBCL #architecture #development #verification

Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.

ICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #tool support #using

Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (EF, NR, SS, PM, SG, RG, MB, SKC, JL, VSS, SM, DM, BS, PD), pp. 1016–1018.

ICSE-2011-GeTXT #execution #named #symbolic computation #verification

DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.

ICSE-2011-WangSG #concurrent #testing

Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.

HPCA-2011-BlakeDM #scheduling #transaction

Bloom Filter Guided Transaction Scheduling (GB, RGD, TNM), pp. 75–86.

ISSTA-2011-TanejaXTH #generative #named #performance #testing

eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.

ASE-2010-NgocO #fault #using

Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.

ASE-2010-NohrerE #named

C2O: a tool for guided decision-making (AN, AE), pp. 363–364.

DAC-2010-NovoLFRC #data flow #finite #precise

Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.

DATE-2010-ZhangLL #approach #markov #modelling #simulation #using #verification

An abstraction-guided simulation approach using Markov models for microprocessor verification (TZ, TL, XL), pp. 484–489.

SIGMOD-2010-YakoutENO #named #program repair

GDR: a system for guided data repair (MY, AKE, JN, MO), pp. 1223–1226.

CSMR-2010-OzkayaPGC #architecture #evolution #requirements #using

Using Architecturally Significant Requirements for Guiding System Evolution (IO, JADP, AG, SC), pp. 127–136.

ICSM-2010-PanditaXTH #generative #test coverage #testing

Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.

PEPM-2010-HofmannK #detection #morphism #problem #towards

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP (MH, EK), pp. 93–100.

SAS-2010-MalkisPR #abstraction #refinement #thread

Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.

ICALP-v2-2010-GiacobazziR #abstraction

Example-Guided Abstraction Simplification (RG, FR), pp. 211–222.

LATA-2010-Zantema #complexity

Complexity of Guided Insertion-Deletion in RNA-Editing (HZ), pp. 608–619.

ICGT-2010-KreowskiKW #graph transformation #satisfiability

Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.

CIKM-2010-ChongQSBNZ #evaluation #query #rdf #streaming

Open user schema guided evaluation of streaming RDF queries (ZC, GQ, HS, JB, WN, AZ), pp. 1281–1284.

ICML-2010-KimX #multi

Tree-Guided Group Lasso for Multi-Task Regression with Structured Sparsity (SK, EPX), pp. 543–550.

ICPR-2010-DonoserRB10a

Shape Guided Maximally Stable Extremal Region (MSER) Tracking (MD, HR, HB), pp. 1800–1803.

ICPR-2010-HsinLLC #image #using

Image Inpainting Using Structure-Guided Priority Belief Propagation and Label Transformations (HFH, JJL, CSL, HYC), pp. 4492–4495.

ICPR-2010-KhalifaEGOE #image #segmentation

Shape-Appearance Guided Level-Set Deformable Model for Image Segmentation (FK, AEB, GLG, RO, MAEG), pp. 4581–4584.

ICPR-2010-RajgopalanRRM #automation #editing #video

Keyframe-Guided Automatic Non-linear Video Editing (VR, AR, RR, SPM), pp. 3236–3239.

KEOD-2010-Girardi #learning #ontology

Guiding Ontology Learning and Population by Knowledge System Goals (RG), pp. 480–484.

SEKE-2010-TrujilloPP #process

Supporting Software Process Improvement in Very Small Entities through a Template-based Guide (MMT, GEI, FJP, MP), pp. 704–709.

SEKE-2010-TsaiZECB #composition #ontology

Ontology-Based Dependency-Guided Service Composition for User-Centric SOA (WTT, PZ, JE, YC, XB), pp. 462–467.

MoDELS-v2-2010-PriegoIR #modelling

Modeling Issues: a Survival Guide for a Non-expert Modeler (ERP, FJGI, ALR), pp. 361–375.

GPCE-2010-Lammel

The hitchhiker’s guide to software languages (RL), pp. 1–2.

POPL-2010-PodelskiW

Counterexample-guided focus (AP, TW), pp. 249–260.

POPL-2010-VechevYY #synthesis

Abstraction-guided synthesis of synchronization (MTV, EY, GY), pp. 327–338.

RE-2010-SeyffGG #information management #using

Using Contextual Information to Guide on-site Analysts (NS, FG, PG), pp. 397–398.

RE-2010-WnukCR #reduction #requirements #towards #using

Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction (KW, DC, BR), pp. 409–410.

REFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #process #requirements

A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.

SAC-2010-AntonelliRL #domain model #identification

Early identification of crosscutting concerns in the domain model guided by states (LA, GR, JCSdPL), pp. 275–280.

SAC-2010-ChamberlainBFB #architecture #development

Application-guided tool development for architecturally diverse computation (RDC, JB, MAF, JHB), pp. 496–501.

FSE-2010-SimmondsBC #web #web service

Guided recovery for web service applications (JS, SBD, MC), pp. 247–256.

ICSE-2010-JhaGST #component #synthesis

Oracle-guided component-based program synthesis (SJ, SG, SAS, AT), pp. 215–224.

CC-2010-BraunMH

Preference-Guided Register Assignment (MB, CM, SH), pp. 205–223.

ICST-2010-WeiGMO

Satisfying Test Preconditions through Guided Object Selection (YW, SG, BM, MO), pp. 303–312.

CASE-2009-ChouguleC #assembly #ontology

Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant (RC, SC), pp. 90–95.

CASE-2009-PandeyA #process #towards

Towards a sociable robot guide which respects and supports the human activity (AKP, RA), pp. 262–267.

DATE-2009-GuptaRHWB #approach

An event-guided approach to reducing voltage noise in processors (MSG, VJR, GHH, GYW, DMB), pp. 160–165.

ICDAR-2009-Hassan #documentation #graph #using

User-Guided Wrapping of PDF Documents Using Graph Matching Techniques (TH), pp. 631–635.

ICDAR-2009-HeH #approach #online

A Character-Structure-Guided Approach to Estimating Possible Orientations of a Rotated Isolated Online Handwritten Chinese Character (TH, QH), pp. 536–540.

ITiCSE-2009-Palmer-BrownDL #feedback #learning

Guided learning via diagnostic feedback to question responses (DPB, CD, SWL), p. 362.

WRLA-2008-DuranO09 #implementation #maude #realtime

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.

ICSM-2009-XieGFC #named #user interface

Guide: A GUI differentiator (QX, MG, CF, CMC), pp. 395–396.

PEPM-2009-RungtaM #model checking #morphism #polymorphism #source code

Guided model checking for programs with polymorphism (NR, EGM), pp. 21–30.

CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement

Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.

IFM-2009-BuiN #random #verification

Formal Verification Based on Guided Random Walks (THB, AN), pp. 72–87.

SEFM-2009-BuiN #heuristic #model checking

Heuristic Sensitivity in Guided Random-Walk Based Model Checking (THB, AN), pp. 125–134.

CHI-2009-YamazakiYOKKHPLLH

Revealing gauguin: engaging visitors in robot guide’s explanation in an art museum (KY, AY, MO, YK, YK, YH, KP, PL, DvL, CH), pp. 1437–1446.

DHM-2009-GoreHWS #implementation

A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5 (BFG, BLH, CDW, SSN), pp. 237–246.

HCI-AUII-2009-Dai #design #research

Nine Assistant Guiding Methods in Subway Design — A Research of Shanghai Subway Users (LD), pp. 125–132.

HCI-NIMT-2009-ShamloM #evolution #image #named

Mind-Mirror: EEG-Guided Image Evolution (NBS, SM), pp. 569–578.

HCI-NT-2009-Williams #case study #framework #research

Leveraging a User Research Framework to Guide Research Investments: Windows Vista Case Study (GW), pp. 530–539.

ICEIS-AIDSS-2009-TangL #algorithm #quality #search-based

A Fuzzy-guided Genetic Algorithm for Quality Enhancement in the Supply Chain (CXHT, HCWL), pp. 85–89.

ECIR-2009-AltingovdeOU09a

A Practitioner’s Guide for Static Index Pruning (ISA, RO, ÖU), pp. 675–679.

KDD-2009-ChenCBT #learning #optimisation #random

Constrained optimization for validation-guided conditional random field learning (MC, YC, MRB, AET), pp. 189–198.

OOPSLA-2009-FurrAF #scripting language #static typing #type system

Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.

HPDC-2009-ZimaHCC

Model-guided autotuning of high-productivity languages for petascale computing (HPZ, MWH, CC, JC), pp. 151–166.

SAT-2009-LiffitonS #satisfiability

Generalizing Core-Guided Max-SAT (MHL, KAS), pp. 481–494.

WICSA-2008-StollWN #architecture

Guiding Architectural Decisions with the Influencing Factors Method (PS, AW, CN), pp. 179–188.

ASE-2008-HartKGCL #abstraction #proving #refinement

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.

CASE-2008-NishiTI #approach #automation #composition #optimisation #petri net

Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.

DATE-2008-NessL #design #fault tolerance #statistics

Guiding Circuit Level Fault-Tolerance Design with Statistical Methods (DCN, DJL), pp. 348–353.

DATE-2008-RistauLF #design #framework

A Mapping Framework for Guided Design Space Exploration of Heterogeneous MP-SoCs (BR, TL, GF), pp. 780–783.

FASE-2008-DattaE #component #named

COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems (SD, RvE), pp. 332–346.

MSR-2008-HolmesW #api #eclipse

A newbie’s guide to eclipse APIs (RH, RJW), pp. 149–152.

LATA-2008-Domaratzki #formal method #tool support

Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.

SEFM-2008-BalakrishnanG #fault #named

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.

CHI-2008-BellottiBCDFIKNPPRRSW #mobile #recommendation

Activity-based serendipitous recommendations with the Magitti mobile leisure guide (VB, JBB, EHhC, ND, JF, EI, THK, MWN, KP, BP, PR, MR, DJS, AW), pp. 1157–1166.

ICEIS-AIDSS-2008-MahdaviSP #approach #automation #using

Machine Grouping in Cellular Manufacturing System Using Tandem Automated Guided vehicle with ACO Based Six Sigma Approach (IM, BS, MMP), pp. 261–267.

ICEIS-HCI-2008-FalguerasCDG #interactive #interface #web

A Guided Interface for Web Interaction (JF, AC, DD, AG), pp. 70–77.

ICPR-2008-WangL #image

Watershed-guided inpainting for image magnification (ZW, YFL), pp. 1–4.

KDD-2008-CuiDSAJ #learning

Learning methods for lung tumor markerless gating in image-guided radiotherapy (YC, JGD, GCS, BMA, SBJ), pp. 902–910.

SEKE-2008-FilhoV #testing #using #web #web service #xml

Using XML Patterns to Guide Perturbation Based Testing of Web Services (PNCF, SRV), pp. 197–202.

SIGIR-2008-GuanWCBW #crawling #effectiveness #estimation #online #topic #using

Guide focused crawler efficiently and effectively using on-line topical importance estimation (ZG, CW, CC, JB, JW), pp. 757–758.

MoDELS-2008-ParetoSE #embedded #evolution #ontology

Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.

MoDELS-2008-ParetoSE #embedded #evolution #ontology

Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.

RE-2008-FeatherHMU #analysis #deployment #requirements #using

Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique (MSF, KAH, RMM, SU), pp. 271–276.

SAC-2008-BesshoKKS #framework #identification #ubiquitous

A space-identifying ubiquitous infrastructure and its application for tour-guiding service (MB, SK, NK, KS), pp. 1616–1621.

SAC-2008-WainerBD #automation #framework #guidelines #implementation #named

ST-guide: a framework for the implementation of automatic clinical guidelines (JW, CZB, MPD), pp. 1325–1332.

FSE-2008-JiangS #analysis #effectiveness #testing

Profile-guided program simplification for effective testing and analysis (LJ, ZS), pp. 48–58.

ICLP-2008-Tsitovich #detection #model checking #security #using

Detection of Security Vulnerabilities Using Guided Model Checking (AT), pp. 822–823.

WICSA-2007-BoerV

Constructing a Reading Guide for Software Product Audits (RCdB, HvV), p. 11.

ASE-2007-BrooksM #automation #testing #user interface

Automated gui testing guided by usage profiles (PAB, AMM), pp. 333–342.

DAC-2007-PaulaH #effectiveness #simulation

An Effective Guidance Strategy for Abstraction-Guided Simulation (FMdP, AJH), pp. 63–68.

DATE-2007-SeshiaLM #fault

Verification-guided soft error resilience (SAS, WL, SM), pp. 1442–1447.

ESOP-2007-BoerCJ

A Complete Guide to the Future (FSdB, DC, EBJ), pp. 316–330.

TACAS-2007-JainKSC #abstraction #named #refinement

VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.

SAS-2007-CousotGR #abstraction

Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.

SAS-2007-GopanR #static analysis

Guided Static Analysis (DG, TWR), pp. 349–365.

IFM-2007-CouchotD #specification

Guiding the Correction of Parameterized Specifications (JFC, FD), pp. 176–194.

CHI-2007-KunoSKYYK #analysis #interactive

Museum guide robot based on sociological interaction analysis (YK, KS, MK, KY, AY, HK), pp. 1191–1194.

HCI-IDU-2007-EvjemoAS #lessons learnt

User Acceptance of Digital Tourist Guides Lessons Learnt from Two Field Studies (BE, SA, AS), pp. 746–755.

HCI-MIE-2007-KomogortsevK #design #interface

Kalman Filtering in the Design of Eye-Gaze-Guided Computer Interfaces (OK, JIK), pp. 679–689.

KDD-2007-KohaviHS #web

Practical guide to controlled experiments on the web: listen to your customers not to the hippo (RK, RMH, DS), pp. 959–967.

MoDELS-2007-HessellundCW #development #domain-specific language #multi

Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.

MoDELS-2007-HessellundCW #development #domain-specific language #multi

Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.

REFSQ-2007-BalushiSDL #elicitation #named #quality

ElicitO: A Quality Ontology-Guided NFR Elicitation Tool (THAB, PRFS, DD, PL), pp. 306–319.

SAC-2007-BistarelliFP #using

Using CP-nets as a guide for countermeasure selection (SB, FF, PP), pp. 300–304.

SPLC-2007-Matsumoto #product line

A Guide for Management and Financial Controls of Product Lines (YM), pp. 163–170.

CAV-2007-Segelken #abstraction #automaton #hybrid #linear #model checking #modelling

Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.

ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing

A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.

DAC-2006-NanshiS #simulation

Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.

DATE-2006-ShyamB #hybrid #verification

Distance-guided hybrid verification with GUIDO (SS, VB), pp. 1211–1216.

ITiCSE-2006-Impagliazzo #education

Computing curricula 2005: and guide (JI), p. 311.

TACAS-2006-KonigK #abstraction #analysis #graph transformation #refinement

Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.

TACAS-2006-ThomasCP #performance #reachability #using

Efficient Guided Symbolic Reachability Using Reachability Expressions (DT, SC, PKP), pp. 120–134.

ICSM-2006-BriandLS #design pattern #modelling #uml

Guiding the Application of Design Patterns Based on UML Models (LCB, YL, AS), pp. 234–243.

PLDI-2006-ChenBCGC #garbage collection #locality #optimisation

Profile-guided proactive garbage collection for locality optimization (WkC, SB, TMC, XG, WC), pp. 332–340.

CHI-2006-PrabakerBC #authoring #documentation #evaluation #programming #using

An evaluation of using programming by demonstration and guided walkthrough techniques for authoring and utilizing documentation (MP, LDB, VC), pp. 241–250.

ICPR-v1-2006-BurTOSH #navigation

Robot Navigation by Panoramic Vision and Attention Guided Fetaures (AB, AT, NO, RS, HH), pp. 695–698.

ICPR-v1-2006-YousfiACC #database #image #learning

Supervised Learning for Guiding Hierarchy Construction: Application to Osteo-Articular Medical Images Database (KY, CA, JPC, JC), pp. 484–487.

ICPR-v4-2006-ZhouL06a #image #integration #multi

Flag Guided Integration of Multiple Registered Range Images (HZ, YL), pp. 17–20.

RE-2006-Dick #requirements

A Requirements Guide For All (REGAL): An INCOSE Initiative (JD), p. 264.

SAC-2006-KramerMH #case study #elicitation #mobile #using

Field study on methods for elicitation of preferences using a mobile digital assistant for a dynamic tour guide (RK, MM, KtH), pp. 997–1001.

SPLC-2006-JohnKLM #product line

A Practical Guide to Product Line Scoping (IJ, JK, TL, DM), pp. 3–12.

CGO-2006-SonCK #approach #locality #power management

A Compiler-Guided Approach for Reducing Disk Power Consumption by Exploiting Disk Access Locality (SWS, GC, MTK), pp. 256–268.

HPDC-2006-GaoSC #approximate

Path Grammar Guided Trace Compression and Trace Approximation (XG, AS, LC), pp. 57–68.

PPoPP-2006-MaratheM #automation #hardware

Hardware profile-guided automatic page placement for ccNUMA systems (JM, FM), pp. 90–99.

CAV-2006-PaulaH #flexibility #framework #named #simulation

EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation (FMdP, AJH), pp. 282–285.

FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #refinement #testing #using

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.

SAT-2006-Zhang #random

A Complete Random Jump Strategy with Guiding Paths (HZ), pp. 96–101.

WICSA-2005-BrownBGSK #architecture #development #embedded #product line

Feature-Guided Architecture Development for Embedded System Families (TJB, RB, CG, ITAS, PK), pp. 223–226.

ASE-2005-RungtaM #heuristic #model checking

A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.

ICDAR-2005-HaritCP #documentation #image #ontology

Ontology Guided Access to Document Images (GH, SC, JP), pp. 292–296.

ICSM-2005-ZhaoZMS #clustering #requirements

Requirements Guided Dynamic Software Clustering (WZ, LZ, HM, JS), pp. 605–608.

ICALP-2005-CohenFIKP #automaton #finite #graph

Label-Guided Graph Exploration by a Finite Automaton (RC, PF, DI, AK, DP), pp. 335–346.

CIKM-2005-AlonsoL #analysis

Model-guided information discovery for intelligence analysis (RA, HL), pp. 269–270.

LSO-2005-BjornsonS #framework #process

Harvesting Knowledge through a Method Framework in an Electronic Process Guide (FOB, TS), pp. 107–111.

POPL-2005-GrumbergLST #approximate #multi

Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.

RE-2005-Jean-BaptisteSF #requirements

Sharing Methodological Knowledge with REGAL: “Requirements Engineering Guide for All” (LHJB, CS, GF), pp. 461–462.

ICSE-2005-GortonL #architecture #dot-net #enterprise #integration

An architects guide to enterprise application integration with J2EE and .NET (IG, AL), pp. 726–727.

ICSE-2005-Zundorf #development #modelling

Story driven modeling: a practical guide to model driven software development (AZ), pp. 714–715.

CGO-2005-ChenCH #empirical #memory management #modelling #multi

Combining Models and Guided Empirical Search to Optimize for Multiple Levels of the Memory Hierarchy (CC, JC, MWH), pp. 111–122.

LICS-2005-Benedikt #logic

An Insider’s Guide to Logic in Telecommunications Data (MB), pp. 104–105.

DAC-2004-EkpanyapongMWLL #architecture #design

Profile-guided microarchitectural floorplanning for deep submicron processor design (ME, JRM, TW, HHSL, SKL), pp. 634–639.

DATE-v1-2004-BjesseK #abstraction #debugging #refinement #using

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.

DATE-v2-2004-ZhouCK #embedded

Profile Guided Management of Code Partitions for Embedded Systems (SZ, BRC, NK), pp. 1396–1399.

TACAS-2004-QianN #abstraction #database #invariant #model checking

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.

ICSM-2004-GirbaDL #evolution #reverse engineering

Yesterday’s Weather: Guiding Early Reverse Engineering Efforts by Summarizing the Evolution of Changes (TG, SD, ML), pp. 40–49.

CHI-2004-LinAL #effectiveness

Virtual guiding avatar: an effective procedure to reduce simulator sickness in virtual environments (JJWL, HAR, ML), pp. 719–726.

CHI-2004-TsangBSR #3d #image #interface #sketching

A suggestive interface for image guided 3D sketching (ST, RB, KS, AR), pp. 591–598.

ICEIS-v3-2004-HoggerK #constraints #enterprise

Constraint-Guided Enterprise Portals (CJH, FK), pp. 411–418.

ECIR-2004-WeigelMBS #information retrieval #performance #xml

Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data (FW, HM, FB, KUS), pp. 378–393.

ICPR-v1-2004-IwatsukaYK #development #people #recognition

Development of a Guide Dog System for the Blind People with Character Recognition Ability (KI, KY, KK), pp. 453–456.

ICPR-v2-2004-Olson #clustering

Pose Clustering Guided by Short Interpretation Trees (CFO), pp. 149–152.

LOPSTR-2004-Colon #constraints #imperative #source code #synthesis #theorem proving

Schema-Guided Synthesis of Imperative Programs by Constraint Solving (MC), pp. 166–181.

SAC-2004-WangDK #refinement

Guiding motif discovery by iterative pattern refinement (ZW, MMD, SK), pp. 162–166.

FSE-2004-TanACZL

Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.

ICSE-2004-ZimmermannWDZ #mining #version control

Mining Version Histories to Guide Software Changes (TZ, PW, SD, AZ), pp. 563–572.

ISMM-2004-SagonasW #concurrent #garbage collection #incremental

Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language (KFS, JW), pp. 1–12.

DAC-2003-LuWCMH #case study #correlation #industrial

A signal correlation guided ATPG solver and its applications for solving difficult industrial cases (FL, LCW, KTC, JM, ZH), pp. 436–441.

DATE-2003-LuWCH #correlation #learning #satisfiability

A Circuit SAT Solver With Signal Correlation Guided Learning (FL, LCW, KTC, RCYH), pp. 10892–10897.

DATE-2003-PastorP #concurrent #simulation #traversal #verification

Combining Simulation and Guided Traversal for the Verification of Concurrent Systems (EP, MAP), pp. 11158–11159.

SIGMOD-2003-GotoK #integration #mobile #using

Integration of Electronic Tickets and Personal Guide System for Public Transport using Mobile Terminals (KG, YK), pp. 642–646.

TACAS-2003-AlurDI #abstraction #hybrid

Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.

TACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.

TACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.

ICSM-2003-MadhavjiT #evolution

Policy-guided Software Evolution (NHM, JT), pp. 75–82.

ICALP-2003-HenzingerJM

Counterexample-Guided Control (TAH, RJ, RM), pp. 886–902.

ICEIS-v3-2003-LuzS #development #modelling #uml

Software Development Guided By Models — The XIS UML Profile (ML, ARdS), pp. 370–381.

SEKE-2003-NiaziWZ #design #effectiveness #framework #implementation #process

A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement (MN, DW, DZ), pp. 366–371.

CADE-2003-Clarke #abstraction #model checking #refinement #satisfiability

SAT-Based Counterexample Guided Abstraction Refinement in Model Checking (EMC), p. 1.

SAT-2003-BjesseKDSZ #satisfiability

Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.

TestCom-2003-En-NouaaryD #automaton #testing

A Guided Method for Testing Timed Input Output Automata (AEN, RD), pp. 211–225.

HT-2002-LukkaF #hypermedia #implementation

Freenet-like GUIDs for implementing xanalogical hypertext (TJL, BF), pp. 194–195.

SCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.

PLDI-2002-DebrayE

Profile-Guided Code Compression (SKD, WSE), pp. 95–105.

ICPR-v3-2002-FengH #performance

Confidence Guided Progressive Search and Fast Match Techniques for High Performance Chinese/English OCR (ZDF, QH), pp. 89–92.

CC-2002-WuSKLF

Value-Profile Guided Stride Prefetching for Irregular Code (YW, MJS, RK, WL, JF), pp. 307–324.

HPDC-2002-Schulz #clustering #parallel #performance #semantics #using

Using Semantic Information to Guide Efficient Parallel I/O on Clusters (MS), pp. 135–142.

LCTES-SCOPES-2002-KrishnaswamyG

Profile guided selection of ARM and thumb instructions (AK, RG), pp. 56–64.

CAV-2002-CabodiNQ #traversal #verification

Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification (GC, SN, SQ), pp. 471–484.

SAT-2002-HirschK #named #satisfiability

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (EH, AK), p. 38.

DAC-2001-SchenkelPZSGA #analysis #optimisation

Mismatch Analysis and Direct Yield Optimization by Spec-Wise Linearization and Feasibility-Guided Search (FS, MP, SZ, RS, HEG, KA), pp. 858–863.

DAC-2001-YuYW #representation #synthesis #using

Signal Representation Guided Synthesis Using Carry-Save Adders For Synchronous Data-path Circuits (ZY, MLY, ANWJ), pp. 456–461.

DATE-2001-CasavantGLMWA #generative #graph #simulation

Property-specific witness graph generation for guided simulation (AEC, AG, SL, AM, KW, PA), p. 799.

DATE-2001-PomeranzR01a #detection #effectiveness #fault #generative #testing

Definitions of the numbers of detections of target faults and their effectiveness in guiding test generation for high defect coverage (IP, SMR), pp. 504–508.

DATE-2001-RufHKR #multi

Simulation-guided property checking based on a multi-valued AR-automata (JR, DWH, TK, WR), pp. 742–748.

ICDAR-2001-HaritCGVJ #analysis #documentation #image

A Model Guided Document Image Analysis Scheme (GH, SC, PG, NV, SDJ), pp. 1137–1141.

ICDAR-2001-RheeCK #feature model #online #segmentation #using #verification

On-Line Signature Verification Using Model-Guided Segmentation and Discriminative Feature Selection for Skilled Forgeries (THR, SJC, JHK), pp. 645–649.

TACAS-2001-BehrmannF #performance #towards

Efficient Guiding Towards Cost-Optimality in UPPAAL (GB, AF), pp. 174–188.

TOOLS-EUROPE-2001-Selic #distributed #programming

The Unbearable Lightness of Distributed Programming: A Survivor’s Guide (BS), p. 4.

TOOLS-USA-2001-White #component #database #relational

Component/Object to Relational Database Bridging: A Leader’s Guide to Bridging the Chasm between Database and Software Engineers (JW), pp. 377–378.

RE-2001-Lamsweerde #requirements

Goal-Oriented Requirements Engineering: A Guided Tour (AvL), p. 249.

HPCA-2001-SrinivasanDTCP #branch

Branch History Guided Instruction Prefetching (VS, ESD, GST, MJC, TRP), pp. 291–300.

DAC-2000-BloemRS #model checking

Symbolic guided search for CTL model checking (RB, KR, FS), pp. 29–34.

CSEET-2000-DupuisB #information management #re-engineering

Guide to the Software Engineering Body of Knowledge Diffusion and Experimentation Strategy (RD, PB), pp. 49–50.

CSMR-2000-AbreuPS #analysis #approach #clustering #composition #object-oriented

A Coupling-Guided Cluster Analysis Approach to Reengineer the Modularity of Object-Oriented Systems (FBeA, GP, PMAS), pp. 13–22.

SAS-2000-Saidi #abstraction #analysis #model checking

Model Checking Guided Abstraction and Analysis (HS), pp. 377–396.

ICFP-2000-HarperP

Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.

CHI-2000-CheverstDMFE #case study #experience

Developing a context-aware electronic tourist guide: some issues and experiences (KC, ND, KM, AF, CE), pp. 17–24.

ICEIS-2000-FoleyAS #development #framework

A Framework to Guide the Strategic Manager in the Acquisition of Software Development Technologies (MF, AA, HS), pp. 282–286.

ICPR-v1-2000-CufiMFM #algorithm #concurrent

A Concurrent Region Growing Algorithm Guided by Circumscribed Contours (XC, XM, JF, JM), pp. 1432–1435.

ICPR-v1-2000-NoordamBB #clustering #fuzzy #geometry #image #multi #segmentation

Geometrically Guided Fuzzy C-Means Clustering for Multivariate Image Segmentation (JCN, WHAMVdB, LMCB), pp. 1462–1465.

ICPR-v1-2000-WangL

Guiding Ziplock Snakes with a priori Information (JW, XL), pp. 1614–1617.

ICPR-v2-2000-BaesensVVD #feature model #network #optimisation

Wrapped Feature Selection by Means of Guided Neural Network Optimization (BB, SV, JV, GD), pp. 2113–2116.

ICPR-v2-2000-KabanG #clustering #documentation

Initialized and Guided EM-Clustering of Sparse Binary Data with Application to Text Based Documents (AK, MG), pp. 2744–2747.

ICPR-v4-2000-JinX

Vision Guided Homing for Humanoid Service Robot (YJ, MX), pp. 4511–4514.

UML-2000-Kobryn #design pattern #metamodelling #uml

Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse (CK), p. 497.

ICSE-2000-NishiyamaIN #effectiveness

Technology transfer macro-process: a practical guide for the effective introduction of technology (TN, KI, TN), pp. 577–586.

CADE-2000-BrownS #semantics

System Description: PTTP+GLiDes: Semantically Guided PTTP (MB, GS), pp. 411–416.

CAV-2000-ClarkeGJLV #abstraction #refinement

Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.

ICDAR-1999-KimKL #recognition

Stroke-guided Pixel Matching for Handwritten Chinese Character Recognition (IJK, JHK, CLL), pp. 665–668.

HCI-CCAD-1999-OppermannS #adaptation #learning #mobile

Adaptive mobile museum guide for information and learning on demand (RO, MS), pp. 642–646.

HCI-EI-1999-WatanabeYEIOKOY #interface #named

FRONTIER: An Application of A Pen Based Interface to An ITS For Guiding Fraction Calculation (KW, TY, HE, JI, YO, HK, MO, TY), pp. 238–242.

ICEIS-1999-SecoCGMS #development #experience #information management

Guide to Develop an Euromethod Compatible Information System Methodology: A Practical Experience of its Development (AdAS, AdMC, JGG, JLM, LFS), p. 777.

TOOLS-USA-1999-Moore #component #reuse #social

Creating Social Agents with Reusable Components: A Practitioner’s Guide (DM), p. 519.

RE-1999-AchourRSM #authoring #case study #empirical

Guiding Use Case Authoring: Results of an Empirical Study (CBA, CR, CS, NAMM), pp. 36–43.

ASE-1998-FlenerZH #constraints #logic programming #source code #synthesis

Schema-Guided Synthesis of Constraint Logic Programs (PF, HZ, BH), pp. 168–176.

DAC-1998-GuerraPR #behaviour #optimisation

A Methodology for Guided Behavioral-Level Optimization (LMG, MP, JMR), pp. 309–314.

DAC-1998-YangD #validation

Validation with Guided Search of the State Space (CHY, DLD), pp. 599–604.

CHI-1998-JacksonKS #adaptation #design #interactive #learning

The Design of Guided Learner-Adaptable Scaffolding in Interactive Learning Environments (SLJ, JK, ES), pp. 187–194.

CHI-1998-XiaoH #navigation

Navigation Guided by Artificial Force Fields (DX, RJH), pp. 179–186.

CAiSE-1998-NurcanGS #approach #case study #process

Describing Business Processes with a Guided Use Case Approach (SN, GG, CS), pp. 339–362.

EDOC-1998-HuntS #automation #clustering #distributed

A guided tour of the Coign automatic distributed partitioning system (GCH, MLS), pp. 252–262.

ICPR-1998-KatoTI #navigation #representation

Representing environment through target-guided navigation (KK, ST, HI), pp. 1794–1798.

ICPR-1998-MahlmeisterSS #image

Sample-guided progressive image coding (UM, MS, GS), pp. 1257–1259.

ICPR-1998-ZhaoO #adaptation #clustering

Adaptive local thresholding with fuzzy-validity-guided spatial partitioning (XZ, SHO), pp. 988–990.

TOOLS-PACIFIC-1998-MacDonaldC #design #object-oriented

Guiding Object-Oriented Design (AM, DAC), pp. 88–100.

LOPSTR-1998-ZidoumFH #source code #synthesis

Schema-Guided Synthesis of CLP Programs (HZ, PF, BH), pp. 309–312.

REFSQ-1998-HaumerPW #abstraction #concept #modelling

Abstraction Guides: Interrelating Conceptual Models with Real World Scenes (PH, KP, KW), pp. 23–32.

IWTCS-1998-BourhfirDAR #consistency #generative #incremental #protocol #testing

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.

ASE-1997-FlenerLO #source code #synthesis

Correct-Schema-Guided Synthesis of Steadfast Programs (PF, KKL, MO), p. 153–?.

VLDB-1997-GoldmanW #database #named #optimisation #query #semistructured data

DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases (RG, JW), pp. 436–445.

HCI-SEC-1997-EnyedyVG #design #interactive #learning

Designing Interactions for Guided Inquiry Learning Environments (NE, PV, BG), pp. 157–160.

HCI-SEC-1997-JorgensenM #evaluation

Evaluation of a Theory-Based Display Guide (AHJ, JM), pp. 403–406.

HCI-SEC-1997-Ramadhan #programming

Free vs. Guided Programming by Discovery (HAR), pp. 279–282.

KDD-1997-EngelsLS #data mining #mining

A Guided Tour through the Data Mining Jungle (RE, GL, RS), pp. 163–166.

KDD-1997-KamberHC #mining #multi #using

Metarule-Guided Mining of Multi-Dimensional Association Rules Using Data Cubes (MK, JH, JC), pp. 207–210.

ITiCSE-1996-LuqueSSCFS #development #education #parallel

Parallel systems development in education: a guided method (EL, JS, RS, EC, JF, MS), pp. 156–158.

WIA-1996-BiehlKR #algorithm #automaton

Algorithms for Guided Tree Automata (MB, NK, TR), pp. 6–25.

CHI-1996-Gale #approach #collaboration

A Collaborative Approach to Developing Style Guides (SG), pp. 362–367.

CIKM-1996-EhrmanntrautHWS #source code #towards

The Personal Electronic Program Guide — Towards the Pre-Selection of Individual TV Programs (ME, TH, HW, RS), pp. 243–250.

ICML-1996-ReddyTR #composition #empirical #learning

Theory-guided Empirical Speedup Learning of Goal Decomposition Rules (CR, PT, SR), pp. 409–417.

ICPR-1996-LengagneFM #re-engineering #using

Using crest lines to guide surface reconstruction from stereo (RL, PF, OM), pp. 9–13.

ICPR-1996-ShihLC #image

Contour model guided image warping for image interpolation (WSVS, WCL, CTC), pp. 396–400.

SAC-1996-SohHHO #algorithm #automation #distributed

Decentralized routing algorithms for automated guided vehicles (JTLS, WJH, SYH, ACYO), pp. 473–479.

TACAS-1995-HenzingerHW

A User Guide to HyTech (TAH, PHH, HWT), pp. 41–71.

ICSM-1995-Binkley #cost analysis #semantics #testing

Reducing the cost of regression testing by semantics guided test case selection (DB), p. 251–?.

CAiSE-1995-NaratV #case study #evaluation #experience #maintenance

A Guide for Software Maintenance Evaluation: Experience Report (VN, AV), pp. 366–374.

SEKE-1995-Ferraris #information management #modelling #multi

Multi-Agent Models as Methodological Guide for Knowledge Acquisition (CF), pp. 31–38.

OOPSLA-1995-GroveDGC #predict

Profile-Guided Receiver Class Prediction (DG, JD, CG, CC), pp. 108–123.

LOPSTR-1995-KreitzOS #development #proving

Guiding Program Development Systems by a Connection Based Proof Strategy (CK, JO, SS), pp. 137–151.

RTA-1995-Paccanaro #network #reduction

Guiding Term Reduction Through a Neural Network: Some Prelimanary Results for the Group Theory (AP), pp. 444–449.

CSEE-1994-HsiaWK #reuse

Guided Reuse for Programmers (PH, RHSW, DCK), pp. 499–516.

LFP-1994-HuelsbergenLA #data type #runtime #thread #using

Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation (LH, JRL, AA), pp. 79–90.

ECOOP-1994-Hagimont #distributed #object-oriented

Protection in the Guide Object-Oriented Distributed System (DH), pp. 280–298.

OOPSLA-1994-HagimontCFKLMP #evaluation #persistent

Persistent Shared Object Support in the Guide System: Evaluation & Related Work (DH, PYC, AF, SK, SL, JM, XRdP), pp. 129–144.

OOPSLA-1994-RobertsonCMRAK #design #learning #named #object-oriented #self

ODE: A Self-Guided, Scenario-Based Learning Environment for Object-Oriented Design Principles (SPR, JMC, RLM, MBR, SRA, JKB), pp. 51–64.

CADE-1994-ChuP #first-order #proving #semantics #theorem proving #using

Semantically Guided First-Order Theorem Proving using Hyper-Linking (HC, DAP), pp. 192–206.

WSA-1993-Jorgensen #dependence #fixpoint

Chaotic Fixpoint Iteration Guided by Dynamic Dependency (NJ), pp. 27–44.

HCI-SHI-1993-SchumacherL #design #development #user interface #visual notation

Development of a Usable Graphical User Interface Design Guide (RMSJ, AML), pp. 21–26.

INTERCHI-1993-Potter #automation #programming #user interface

Guiding automation with pixels (abstract): a technique for programming in the user interface (RP), p. 530.

INTERCHI-1993-Rieman #research

The diary study: a workplace-oriented research tool to guide laboratory efforts (JR), pp. 321–326.

ICML-1993-ClarkM #induction #learning #modelling #using

Using Qualitative Models to Guide Inductive Learning (PC, SM), pp. 49–56.

LOPSTR-1993-LombartWD #proving #synthesis

Guiding Synthesis Proofs (VL, GAW, YD), pp. 67–81.

HT-ECHT-1992-Alberti #approach #hypermedia

A Hypermedia and a Hypertext Approach to a Museum Guide (Demonstration) (MAA), p. 296.

HT-ECHT-1992-Bassi #multi #named

MuG: Multimedia Guide to the History of European Civilization (Demonstration) (BB), pp. 291–292.

HT-ECHT-1992-Brown #development #lessons learnt

UNIX Guide: Lessons from Ten Years’ Development (PJB), pp. 63–70.

HT-ECHT-1992-Eco #education #hypermedia #learning #multi

Hypermedia for Teaching and Learning: A Multimedia Guide to the History of European Civilization (MuG) (UE), p. 288.

HT-ECHT-1992-GuinanS #hypermedia #information retrieval #using

Information Retrieval from Hypertext using Dynamically Planned Guided Tours (CG, AFS), pp. 122–130.

WSA-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards

Towards Optimization of Full Prolog Programs guided by Abstract Interpretation (AP, PD, PL), pp. 295–303.

ML-1992-Niquil #generative

Guiding Example Acquisition by Generating Scenarios (YN), pp. 348–354.

SIGIR-1992-Sonnenwald #design #information management #information retrieval #process

Developing a Theory to Guide the Process of Designing Information Retrieval Systems (DHS), pp. 310–317.

LOPSTR-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation (AP, PD, PL), pp. 228–241.

CADE-1992-Sutcliffe92a #deduction #linear #semantics

The Semantically Guided Linear Deduction System (GS), pp. 677–680.

WSA-1991-Ameur #functional

Non Functional Properties Can Guide Program Developments (YAA), pp. 189–196.

CHI-1991-SebrechtsJL #design #hypermedia #interface

Hypermedia and echocardiography: an interface design for guided discovery (MMS, CCJ, PL), pp. 435–436.

CAiSE-1991-SeppanenHL #design #named #tool support #towards

SPADE — Towards Case Tools That Can Guide Design (VS, MH, RL), pp. 222–239.

ECOOP-1991-Lacourte #distributed #exception #object-oriented

Exceptions in Guide, an Object-Oriented Language for Distributed Applications (SL), pp. 268–287.

OOPSLA-1991-KonstanR #object-oriented #programming #using

Developing a GUIDE Using Object-Oriented Programming (JAK, LAR), pp. 75–88.

LOPSTR-1991-FlenerD #logic programming #synthesis #towards

Towards Stepwise, Schema-guided Synthesis of Logic Programms (PF, YD), pp. 46–64.

ICSE-1991-SelbyPSB #analysis #development #empirical #feedback #metric

Metric-Driven Analysis and Feedback Systems for Enabling Empirically Guided Software Development (RWS, AAP, DCS, JB), pp. 288–298.

PPoPP-1991-BalasundaramFKK #clustering #performance

A Static Performance Estimator to Guide Data Partitioning Decisions (VB, GF, KK, UK), pp. 213–223.

CAV-1991-ProbstL #model checking #partial order

Partial-Order Model Checking: A Guide for the Perplexed (DKP, HFL), pp. 322–331.

SIGMOD-1990-ChaW #interface #named #query

Kaleidoscope: A Cooperative Menu-Guided Query Interface (SKC, GW), p. 387.

PLDI-1990-PettisH

Profile Guided Code Positioning (KP, RCH), pp. 16–27.

Best-of-PLDI-1990-PettisHD

Profile guided code positioning (with retrospective) (KP, RCH, JWD), pp. 398–411.

CHI-1990-TuckO

Help by guided tasks: utilizing UIMS knowledge (RT, DRO), pp. 71–78.

CADE-1990-BundyHSI #induction #proving

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.

CADE-1990-Hutter #induction #proving

Guiding Induction Proofs (DH), pp. 147–161.

CADE-1990-SuttnerE #automation #heuristic

Automatic Acquisition of Search Guiding Heuristics (CBS, WE), pp. 470–484.

HT-1989-MarshallI #how #hypermedia #online

Guided Tours and On-Line Presentations: How Authors Make Existing Hypertext Intelligible for Readers (CCM, PMI), pp. 15–26.

CSCW-1988-Trigg #communication #hypermedia #tool support

Guided Tours and Tabletops: Tools for Communicating in a Hypertext Environment (RHT), pp. 216–226.

CADE-1988-Bundy #induction #proving

The Use of Explicit Plans to Guide Inductive Proofs (AB), pp. 111–120.

HT-1987-Brown

Turning Ideas into Products: The Guide System (PJB), pp. 33–40.

ICSE-1984-GuyardJ #named #programming

MAIDAY: An Environment for Guided Programming (JG, JPJ), pp. 126–137.

VLDB-1982-WongK #database #named #user interface #visual notation

GUIDE: Graphical User Interface for Database Exploration (HKTW, IK), pp. 22–32.

DAC-1981-Abramovici #algorithm #testing

A maximal resolution guided-probe testing algorithm (MA), pp. 189–195.

VLDB-1979-QuintellaGOAL #case study #database #development #tool support

A Methodologic Guide-Line for the Instalation of Data Base Development Tools and Data Administration Tools: Two Case Studies from Brazil (HMQ, GAdG, MRdO, LTdA, FRL), pp. 313–318.

DAC-1978-Huey #graph #problem #reduction #using

Guiding sensitization searches using problem reduction graphs (BH), pp. 312–320.

DAC-1976-Pierce #re-engineering

The literature of software engineering: Description and guide (ARP), pp. 451–461.

SIGFIDET-1971-EverestS #requirements

A Critique of the Guide-SHARE DBMS Requirements (GCE, EHS), pp. 93–112.