BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
evalu (42)
base (42)
use (31)
search (30)
problem (30)

Stem heurist$ (all stems)

304 papers:

CASECASE-2015-LyuWC #algorithm #heuristic #integer #programming
Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
DATEDATE-2015-VenkataramanKSE #design #heuristic #using
Designing inexact systems efficiently using elimination heuristics (SV, AK, JS, CCE), pp. 758–763.
DATEDATE-2015-WaqasGKSBSVC #heuristic #online #scalability #scheduling
A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer (UW, MG, JK, LJS, TB, SS, PV, HC), pp. 573–578.
SASSAS-2015-Terauchi #effectiveness #heuristic #refinement #verification
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.
ICALPICALP-v1-2015-KunnemannM #approximate #comprehension #heuristic #towards
Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic (MK, BM), pp. 859–871.
HCIDUXU-DD-2015-CamposBFNC #experience #guidelines #heuristic #industrial #multimodal
Combining Principles of Experience, Traditional Heuristics and Industry Guidelines to Evaluate Multimodal Digital Artifacts (FC, RB, WF, EVN, WC), pp. 130–137.
HCIDUXU-DD-2015-ChuanSA #evaluation #gesture #heuristic #human-computer #interactive #usability
Usability Heuristics for Heuristic Evaluation of Gestural Interaction in HCI (NKC, AS, WFWA), pp. 138–148.
HCIDUXU-DD-2015-PazPP #case study #heuristic #usability
Experimental Case Study of New Usability Heuristics (FP, FAP, JAPS), pp. 212–223.
HCIDUXU-IXD-2015-AljohaniB #evaluation #heuristic #repository
Heuristic Evaluation of University Institutional Repositories Based on DSpace (MA, JB), pp. 119–130.
HCIDUXU-UI-2015-JoyceLBJ #evaluation #heuristic #smarttech #usability
Smartphone Application Usability Evaluation: The Applicability of Traditional Heuristics (GJ, ML, TB, AJ), pp. 541–550.
HCIHCI-DE-2015-ChomaZB #communication #design #heuristic #protocol #usability
Communication of Design Decisions and Usability Issues: A Protocol Based on Personas and Nielsen’s Heuristics (JC, LAMZ, DB), pp. 163–174.
HCIHCI-DE-2015-SantosFD #case study #evaluation #heuristic #set #using #visualisation
Heuristic Evaluation in Information Visualization Using Three Sets of Heuristics: An Exploratory Study (BSS, BQF, PD), pp. 259–270.
HCIHCI-IT-2015-MaikeNGB #heuristic
Heuristics for NUI Revisited and Put into Practice (VRMLM, LdSBN, SKG, MCCB), pp. 317–328.
HCIHCI-UC-2015-LopesGCSO #community #evaluation #heuristic
Heuristic to Support the Sociability Evaluation in Virtual Communities of Practices (LAL, DFG, TAC, EMS, TFdO), pp. 3–14.
ICEISICEIS-v1-2015-ConstantinonNS #heuristic
Combining Heuristic and Utility Function for Fair Train Crew Rostering (AAC, CFXdMN, AGN, AFdS), pp. 593–602.
ICEISICEIS-v1-2015-GruppiMAFL #heuristic #performance
An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
MLDMMLDM-2015-FerrerSR #approximate #distance #edit distance #graph #heuristic #learning
Learning Heuristics to Reduce the Overestimation of Bipartite Graph Edit Distance Approximation (MF, FS, KR), pp. 17–31.
SACSAC-2015-BasgaluppBP #algorithm #evolution #induction #multi
Evolving decision-tree induction algorithms with a multi-objective hyper-heuristic (MPB, RCB, VP), pp. 110–117.
ASEASE-2014-MarkerBG #comprehension #heuristic #performance
Understanding performance stairs: elucidating heuristics (BM, DSB, RAvdG), pp. 301–312.
DRRDRR-2014-ParkerFF #documentation #heuristic #image #robust #using
Robust binarization of degraded document images using heuristics (JP, OF, GF), p. ?–12.
ICSMEICSME-2014-KhanIA #approach #behaviour #heuristic #state machine #uml
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.
HCIDUXU-TMT-2014-Al-RazganAA #heuristic #mobile #people #usability
Heuristics for Evaluating the Usability of Mobile Launchers for Elderly People (MSAR, HSAK, MDAS), pp. 415–424.
HCIDUXU-TMT-2014-BrangierD #case study #heuristic #persuasion
Heuristic Inspection to Assess Persuasiveness: A Case Study of a Mathematics E-learning Program (EB, MCD), pp. 425–436.
HCIDUXU-TMT-2014-JerzakR #evaluation #game studies #heuristic
Serious Games and Heuristic Evaluation — The Cross-Comparison of Existing Heuristic Evaluation Methods for Games (NJ, FR), pp. 453–464.
HCIDUXU-TMT-2014-JoyceL #development #heuristic #mobile #smarttech #towards #usability
Towards the Development of Usability Heuristics for Native Smartphone Mobile Applications (GJ, ML), pp. 465–474.
HCIDUXU-TMT-2014-MasipOG #evaluation #heuristic #industrial #user interface
Common Industry Format (CIF) Report Customization for UX Heuristic Evaluation (LM, MO, TG), pp. 475–483.
HCIDUXU-TMT-2014-ZhuF #game studies #heuristic #online
Developing Playability Heuristics for Computer Games from Online Reviews (MZ, XF), pp. 496–505.
HCIHCI-AIMT-2014-DharmaT #bibliography #elicitation #empirical #heuristic #perspective
A Heuristic Model of Vibrotactile Haptic Feedbacks Elicitation Based on Empirical Review (AAGD, KT), pp. 624–632.
HCIHCI-AS-2014-SalgadoF #evaluation #heuristic #mobile #usability
Heuristic Evaluation of Mobile Usability: A Mapping Study (AdLS, APF), pp. 178–188.
HCIHCI-TMT-2014-RodriguesTN14a #heuristic #interactive #source code
Heuristics for Assessing Emotional Response of Viewers during the Interaction with TV Programs (KRdHR, CACT, VPdAN), pp. 577–588.
HCILCT-NLE-2014-BrayshawGNWB #analysis #case study #evaluation #heuristic
Investigating Heuristic Evaluation as a Methodology for Evaluating Pedagogical Software: An Analysis Employing Three Case Studies (MB, NG, JTN, LW, AB), pp. 25–35.
ICEISICEIS-v1-2014-HaddadCSM #algorithm #heuristic #named #parallel #problem #scheduling
AIV: A Heuristic Algorithm based on Iterated Local Search and Variable Neighborhood Descent for Solving the Unrelated Parallel Machine Scheduling Problem with Setup Times (MNH, LPC, MJFS, NM), pp. 376–383.
ICEISICEIS-v1-2014-SilvaSMMS #branch #design #heuristic #network #problem
A Heuristic Procedure with Local Branching for the Fixed Charge Network Design Problem with User-optimal Flow (PHGS, LGS, CAdJM, PYPM, ES), pp. 384–394.
ICEISICEIS-v3-2014-BorysL #assessment #comparison #evaluation #heuristic
Expert vs Novice Evaluators — Comparison of Heuristic Evaluation Assessment (MB, ML), pp. 144–149.
CIKMCIKM-2014-ChatzistergiouV #clustering #data type #heuristic #performance
Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
ICMLICML-c1-2014-ZhangHL #heuristic #performance
Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICPRICPR-2014-BruneauPO #algorithm #automation #clustering #heuristic
A Heuristic for the Automatic Parametrization of the Spectral Clustering Algorithm (PB, OP, BO), pp. 1313–1318.
KDIRKDIR-2014-AzadM #classification #consistency #fault #heuristic
“Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
KRKR-2014-SiderisD #heuristic #optimisation
Heuristic Guided Optimization for Propositional Planning (AS, YD).
PPDPPPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
REFSQREFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
SACSAC-2014-BertoutFO #automation #clustering #heuristic #realtime #set
A heuristic to minimize the cardinality of a real-time task set by automated task clustering (AB, JF, RO), pp. 1431–1436.
FSEFSE-2014-DingesA #heuristic
Solving complex path conditions through heuristic search on induced polytopes (PD, GAA), pp. 425–436.
ICSTSAT-2014-BalintBFS #heuristic #implementation #satisfiability
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (AB, AB, AF, US), pp. 302–316.
VMCAIVMCAI-2014-AcunaAMS #approach #complexity #heuristic #modelling #network
Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach (VA, AA, AM, AS), pp. 322–336.
CASECASE-2013-LiJJ #algorithm #heuristic
A heuristic algorithm for minimizing total absolute deviation from distinct due dates on a single machine (YL, ZJ, WJ), pp. 392–397.
CASECASE-2013-SunSSZS #heuristic #optimisation
A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.
ICDARICDAR-2013-KimLT #classification #heuristic #identification #using
Identification of Investigator Name Zones Using SVM Classifiers and Heuristic Rules (JK, DXL, GRT), pp. 140–144.
ITiCSEITiCSE-2013-CalvoGII #content management #evaluation #heuristic #learning
Are chats and forums accessible in e-learning systems?: a heuristic evaluation comparing four learning content management systems (RC, AG, BI, AI), p. 342.
WCREWCRE-2013-MaffortVBAH #architecture #heuristic
Heuristics for discovering architectural violations (CAM, MTV, MAdSB, NA, AH), pp. 222–231.
HCIDUXU-NTE-2013-MarcusAA #evaluation #heuristic
Heuristic Evaluation of iCalamityGuide Application (AM, SA, MFA), pp. 130–139.
ICEISICEIS-v1-2013-SimrinAD #heuristic #problem #using
A Lagrangian Relaxation based Heuristic for the Static Berth Allocation Problem using the Cutting Plane Method (ASS, NNA, AHD), pp. 565–569.
SACSAC-2013-BasgaluppBSC #approach #predict
Software effort prediction: a hyper-heuristic decision-tree based approach (MPB, RCB, TSdS, ACPLFC), pp. 1109–1116.
CCCC-2013-BaranyK #heuristic
Optimal and Heuristic Global Code Motion for Minimal Spilling (GB, AK), pp. 21–40.
CGOCGO-2013-DioufCR #heuristic #polynomial
A polynomial spilling heuristic: Layered allocation (BD, AC, FR), p. 10.
CGOCGO-2013-KulkarniCWS #automation #heuristic #machine learning #using
Automatic construction of inlining heuristics using machine learning (SK, JC, CW, DS), p. 12.
ICSTSAT-2013-Gableske #heuristic #message passing #on the #satisfiability
On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
CASECASE-2012-BilykM #heuristic #parallel #problem #search-based
Variable neighborhood search-based subproblem solution procedures for a parallel shifting bottleneck heuristic for complex job shops (AB, LM), pp. 419–424.
CASECASE-2012-DriesselM #case study #composition #heuristic #scheduling
An exploratory study of a decomposition heuristic for complex shop scheduling with transportation (RD, LM), pp. 413–418.
MLDMMLDM-2012-BouhamedMLR #heuristic #learning #network
A New Learning Structure Heuristic of Bayesian Networks from Data (HB, AM, TL, AR), pp. 183–197.
RecSysRecSys-2012-Ninaus #heuristic #recommendation #requirements #using
Using group recommendation heuristics for the prioritization of requirements (GN), pp. 329–332.
SIGIRSIGIR-2012-LvLW #heuristic #mobile #ranking
An exploration of ranking heuristics in mobile local search (YL, DL, QW), pp. 295–304.
REFSQREFSQ-2012-KnaussS #documentation #heuristic #learning #requirements
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques (EK, KS), pp. 165–171.
SACSAC-2012-HaublWM #evaluation #heuristic #java
Evaluation of trace inlining heuristics for Java (CH, CW, HM), pp. 1871–1876.
SACSAC-2012-SantosCSLB #analysis #heuristic #identification #modelling #process
Analysis of heuristics to identify crosscutting concerns in business process models (FJNS, CC, FMS, JCSdPL, TVB), pp. 1725–1726.
SPLCSPLC-2012-NunesGLL #evolution #heuristic #product line
History-sensitive heuristics for recovery of features in code of evolving program families (CN, AG, CJPdL, JL), pp. 136–145.
PPoPPPPoPP-2012-WernsingS #automation #heuristic #manycore #named
RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems (JRW, GS), pp. 321–322.
ICSTICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
CASECASE-2011-HuangG #deployment #heuristic
An improved Least Cost Heuristic for dynamic yard crane deployment in container terminals (SYH, XG), pp. 84–89.
CSMRCSMR-2011-HigoK #clone detection #dependence #detection #heuristic
Code Clone Detection on Specialized PDGs with Heuristics (YH, SK), pp. 75–84.
AGTIVEAGTIVE-2011-FurstMM #graph grammar #heuristic #induction #process
Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.
CHICHI-2011-AyyavuJ #feedback #heuristic #privacy #security
Integrating user feedback with heuristic security and privacy management systems (PA, CJ), pp. 2305–2314.
HCIDUXU-v1-2011-BotellaGT #evaluation #heuristic #interactive #using
Using Interaction Patterns in Heuristic Evaluation (FB, JAG, RT), pp. 23–32.
HCIDUXU-v2-2011-MasipOG #classification #component #evaluation #heuristic #interactive
Classification of Interactive System Components Enables Planning Heuristic Evaluation Easier (LM, MO, TG), pp. 478–486.
HCIIDGD-2011-EksiogluKCSO #case study #evaluation #heuristic #testing #usability
Heuristic Evaluation and Usability Testing: Case Study (ME, EK, , MNS, SO), pp. 143–151.
SEKESEKE-2011-Zhang #heuristic #problem
Inconsistency-Induced Heuristics for Problem Solving (DZ), pp. 137–142.
PLATEAUPLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel #programming language
Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
TOOLSTOOLS-EUROPE-2011-HeideggerT #approach #heuristic
A Heuristic Approach for Computing Effects (PH, PT), pp. 147–162.
REFSQREFSQ-2011-El-SharkawyS #approach #empirical #heuristic #requirements
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment (SES, KS), pp. 78–93.
SACSAC-2011-ElahiY #analysis #heuristic #metric #requirements #trade-off
Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method (GE, ESKY), pp. 651–658.
ICSTICST-2011-SmithW #detection #heuristic #sql #using #web
Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities (BHS, LW), pp. 220–229.
ICSTSAT-2011-TompkinsBH #heuristic #satisfiability
Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
CASECASE-2010-DriesselHMS #architecture #assessment #heuristic #parallel #performance #scheduling
A parallel shifting bottleneck heuristic for scheduling complex job shops: Architecture and performance assessment (RD, UH, LM, WS), pp. 81–86.
CASECASE-2010-TaoW #3d #algorithm #constraints #heuristic #problem
A new packing heuristic based algorithm for Vehicle Routing Problem with Three-dimensional Loading constraints (YT, FW), pp. 972–977.
DACDAC-2010-GuptaKKS #benchmark #heuristic #metric #named
Eyecharts: constructive benchmarking of gate sizing heuristics (PG, ABK, AK, PS), pp. 597–602.
DATEDATE-2010-SigdelTGPB #case study #evaluation #heuristic #runtime
Evaluation of runtime task mapping heuristics with rSesame — a case study (KS, MT, CG, ADP, KB), pp. 831–836.
FASEFASE-2010-LauterburgKMA #heuristic #partial order #reduction
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
CSMRCSMR-2010-AsadiPAG #approach #concept #execution #heuristic #identification
A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.
ICPRICPR-2010-TopalAG #approach #detection #heuristic #realtime #robust
Edge Drawing: A Heuristic Approach to Robust Real-Time Edge Detection (CT, CA, YG), pp. 2424–2427.
KDDKDD-2010-BozorgiSSV #heuristic #learning #predict
Beyond heuristics: learning to classify vulnerabilities and predict exploits (MB, LKS, SS, GMV), pp. 105–114.
KEODKEOD-2010-MazakSL #approximate #heuristic #ontology
align++ — A Heuristic-based Method for Approximating the Mismatch-at-Risk in Schema-based Ontology Alignment (AM, BS, ML), pp. 17–26.
SIGIRSIGIR-2010-SchedlSSWS #heuristic
Three web-based heuristics to determine a person’s or institution’s country of origin (MS, KS, DS, GW, CS), pp. 801–802.
ECMFAECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
HPDCHPDC-2010-ReinefeldSM #database #heuristic #scalability
Very large pattern databases for heuristic search (AR, TS, RM), pp. 803–809.
ICLPICLP-2010-Balduccini10 #heuristic #learning #set
Learning Domain-Specific Heuristics for Answer Set Solvers (MB), pp. 14–23.
ASEASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.
CASECASE-2009-WuCCW #heuristic #problem
Heuristic for lane reservation problem in time constrained transportation (YW, CC, FC, NW), pp. 543–548.
CASECASE-2009-WuS #heuristic #multi #problem
A new heuristic method for capacitated multi-level lot sizing problem with backlogging (TW, LS), pp. 483–488.
DACDAC-2009-SarbisheiAF #clustering #heuristic #optimisation #polynomial #using
Polynomial datapath optimization using partitioning and compensation heuristics (OS, BA, MF), pp. 931–936.
DACDAC-2009-ShojaeiGBGSH #composition #heuristic #multi #runtime
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management (HS, AHG, TB, MG, SS, RH), pp. 917–922.
CIAACIAA-2009-AhnH #heuristic #implementation #using
Implementation of State Elimination Using Heuristics (JHA, YSH), pp. 178–187.
SEFMSEFM-2009-BuiN #heuristic #model checking
Heuristic Sensitivity in Guided Random-Walk Based Model Checking (THB, AN), pp. 125–134.
CHICHI-2009-GeertsG #heuristic #social
Supporting the social uses of television: sociability heuristics for social tv (DG, DDG), pp. 595–604.
HCIHCD-2009-Varsaluoma #evaluation #heuristic #mobile
Scenarios in the Heuristic Evaluation of Mobile Devices: Emphasizing the Context of Use (JV), pp. 332–341.
HCIHCI-NT-2009-MirelW #development #heuristic #tool support
Heuristic Evaluations of Bioinformatics Tools: A Development Case (BM, ZW), pp. 329–338.
HCIHCI-VAD-2009-BuxtonTF #evaluation #heuristic #scalability #using
Heuristic Evaluation of Mission-Critical Software Using a Large Team (TB, AT, ALF), pp. 673–682.
HCIHIMI-II-2009-AllamrajuC #clustering #documentation #heuristic #preprocessor
Enhancing Document Clustering through Heuristics and Summary-Based Pre-processing (SHA, RC), pp. 105–113.
HCIOCSC-2009-DesurvireW #design #game studies #heuristic #usability
Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration (HD, CW), pp. 557–566.
HCIOCSC-2009-PuseyM #education #heuristic #implementation #learning #wiki
Heuristics for Implementation of Wiki Technology in Higher Education Learning (PP, GM), pp. 507–514.
ICEISICEIS-AIDSS-2009-BoryczkaK #approach #heuristic
A New Heuristic Function in Ant-miner Approach (UB, JK), pp. 33–38.
RERE-2009-KnaussSS #heuristic #learning #requirements
Learning to Write Better Requirements through Heuristic Critiques (EK, KS, KS), pp. 387–388.
SACSAC-2009-KrocSS #heuristic #message passing #satisfiability
Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.
SACSAC-2009-SilvaML #approach #automation #heuristic
Heuristic approach for automated shelf space allocation (DLS, FM, KL), pp. 922–928.
ICSEICSE-2009-KnaussLM #heuristic #requirements
Feedback-driven requirements engineering: The Heuristic Requirements Assistant (EK, DL, SM), pp. 587–590.
ICSTSAT-2009-SinzI #heuristic #problem
Problem-Sensitive Restart Heuristics for the DPLL Procedure (CS, MI), pp. 356–362.
TAPTAP-2009-CalvagnaG #combinator #heuristic #interactive #satisfiability #testing
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.
ASEASE-2008-BurnimS #generative #heuristic #scalability #testing
Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
CASECASE-2008-Monch #heuristic #parallel
Heuristics to minimize total weighted tardiness of jobs on unrelated parallel machines (LM), pp. 572–577.
CASECASE-2008-TeoP #heuristic #hybrid #layout #problem
A hybrid ACO/PSO heuristic to solve single row layout problem (YTT, SGP), pp. 597–602.
ICSMEICSM-2008-MalikH #adaptation #co-evolution #evolution #heuristic #using
Supporting software evolution using adaptive change propagation heuristics (HM, AEH), pp. 177–186.
CHICHI-2008-PinelleW #design #evaluation #game studies #heuristic #usability #video
Heuristic evaluation for games: usability principles for video game design (DP, NW), pp. 1453–1462.
ICEISICEIS-AIDSS-2008-Guzman-ArenasC #heuristic #information management
Knowledge Acquisition with OM — A Heuristic Solution (AGA, ADCR), pp. 356–363.
CIKMCIKM-2008-KormilitsinCFS #algorithm #heuristic
View and index selection for query-performance improvement: quality-centered algorithms and heuristics (MK, RC, YF, MFS), pp. 1329–1330.
CIKMCIKM-2008-PlacekTSDS #approach #heuristic #query
A heuristic approach for checking containment of generalized tree-pattern queries (PP, DT, SS, TD, TKS), pp. 551–560.
POPLPOPL-2008-McMillan #heuristic #program analysis
Relevance heuristics for program analysis (KLM), pp. 145–146.
SACSAC-2008-DouillardJ #constraints #heuristic
Splitting heuristics for disjunctive numerical constraints (TD, CJ), pp. 140–144.
SACSAC-2008-LunaAAB #fault tolerance #heuristic #multi #resource management
Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems (AdLA, SA, JPB), pp. 66–70.
SACSAC-2008-OliveiraRSCBM #heuristic #problem
A vehicular waiting time heuristic for dynamic vehicle routing problem (HCBdO, GMR, MMdS, LAC, VRB, GRM), pp. 13–17.
LCTESLCTES-2008-LeeMK #compilation #detection #embedded #heuristic #java
Enhanced hot spot detection heuristics for embedded java just-in-time compilers (SWL, SMM, SMK), pp. 13–22.
ASEASE-2007-McIntyreW #automation #heuristic
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.
CASECASE-2007-YogeswaranPT #algorithm #heuristic #hybrid #problem #search-based #using
An hybrid heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS (MY, SGP, MKT), pp. 182–187.
DACDAC-2007-VermaBI #composition #heuristic
Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.
TACASTACAS-2007-KupferschmidDHFDPB #heuristic #model checking
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
ICALPICALP-2007-CaragiannisFM #ad hoc #energy #exponential #heuristic #network
An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks (IC, MF, LM), pp. 447–458.
HCIHCI-IDU-2007-KowalskiG #collaboration #design #heuristic #user interface
10 Heuristics for Designing Administrative User Interfaces — A Collaboration Between Ethnography, Design, and Engineering (LK, KG), pp. 133–139.
ICMLICML-2007-GriraH #clustering #heuristic
Best of both: a hybridized centroid-medoid clustering heuristic (NG, MEH), pp. 313–320.
KDDKDD-2007-HuaP #approach #heuristic
Cleaning disguised missing data: a heuristic approach (MH, JP), pp. 950–958.
CGOCGO-2007-KulkarniWT #algorithm #heuristic #optimisation #order
Evaluating Heuristic Optimization Phase Order Search Algorithms (PAK, DBW, GST), pp. 157–169.
AMOSTAMOST-2007-KorelKT #evaluation #heuristic #modelling
Model-based test prioritization heuristic methods and their evaluation (BK, GK, LHT), pp. 34–43.
ISSTAISSTA-2007-RenR #fault #heuristic #java #locality #ranking
Heuristic ranking of java program edits for fault localization (XR, BGR), pp. 239–249.
CASECASE-2006-CapachoPGD #assembly #heuristic #problem
Heuristic Methods to Solve the Alternative Subgraphs Assembly Line Balancing Problem (LC, RP, OG, AD), pp. 501–506.
DATEDATE-2006-SrinivasanC #architecture #complexity #design #heuristic
A low complexity heuristic for design of custom network-on-chip architectures (KS, KSC), pp. 130–135.
ICPCICPC-2006-SalehieLT #design #detection #framework #heuristic #object-oriented
A Metric-Based Heuristic Framework to Detect Object-Oriented Design Flaws (MS, SL, LT), pp. 159–168.
ICALPICALP-v1-2006-Coja-Oghlan #adaptation #clustering #graph #heuristic #random
An Adaptive Spectral Heuristic for Partitioning Random Graphs (ACO), pp. 691–702.
IFLIFL-2006-HageH #fault #heuristic
Heuristics for Type Error Discovery and Recovery (JH, BH), pp. 199–216.
ICGTICGT-2006-EdelkampJL #analysis #graph #heuristic
Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.
CIKMCIKM-2006-TheodoratosSDPS #graph #heuristic #query
Heuristic containment check of partial tree-pattern queries in the presence of index graphs (DT, SS, TD, PP, TKS), pp. 445–454.
KRKR-2006-BonetG #heuristic #using
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge (BB, HG), pp. 452–462.
SEKESEKE-2006-NieXSW #generative #heuristic #testing
A New Heuristic for Test Suite Generation for Pair-wise Testing (CN, BX, LS, ZW), pp. 517–521.
SACSAC-2006-CutelloNO #algorithm #analysis #heuristic
Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.
CGOCGO-2006-ChakrabartiL #analysis #heuristic
Inline Analysis: Beyond Selection Heuristics (DRC, SML), pp. 221–232.
CAVCAV-2006-Roe #heuristic #modulo theories #proving #smt #theorem proving
The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover (KR), pp. 467–470.
ASEASE-2005-RungtaM #heuristic #model checking
A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.
CASECASE-2005-GuschinskayaDGL #approach #heuristic #optimisation
A combined heuristic approach for optimization of a class of machining lines (OG, AD, NG, GL), pp. 154–159.
CASECASE-2005-KameshwaranN #evaluation #heuristic
A Lagrangian heuristic for bid evaluation in e-procurement auctions (SK, YN), pp. 220–225.
DATEDATE-2005-PomeranzR05a #detection #fault #heuristic
The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits (IP, SMR), pp. 1008–1013.
DATEDATE-2005-ResanoMC #configuration management #hardware #heuristic #hybrid #runtime #scheduling
A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable Hardware (JR, DM, FC), pp. 106–111.
ICDARICDAR-2005-ChengB #heuristic #segmentation #using #word
The Neural-based Segmentation of Cursive Words using Enhanced Heuristics (CKC, MB), pp. 650–654.
SIGMODSIGMOD-2005-BohannonFFR #constraints #cost analysis #effectiveness #heuristic
A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification (PB, MF, WF, RR), pp. 143–154.
PPDPPPDP-2005-PaluDP #heuristic #optimisation #parallel #predict
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.
SACSAC-2005-LimZLR #graph #heuristic #problem
Heuristic methods for graph coloring problems (AL, YZ, QL, BR), pp. 933–939.
ICSTSAT-2005-Coste-MarquisBL #branch #heuristic #quantifier
A Branching Heuristics for Quantified Renamable Horn Formulas (SCM, DLB, FL), pp. 393–399.
ICSTSAT-2005-DershowitzHN #heuristic #satisfiability
A Clause-Based Heuristic for SAT Solvers (ND, ZH, AN), pp. 46–60.
ICSTSAT-2005-SangBK #heuristic #performance
Heuristics for Fast Exact Model Counting (TS, PB, HAK), pp. 226–240.
WICSAWICSA-2004-Perez-MartinezS #analysis #architecture #heuristic
Heuristics for the Transition from Analysis to Software Architecture (JEPM, ASA), pp. 311–314.
ASEASE-2004-BossungSGAH #automation #heuristic #interactive #specification
Automated Data Mapping Specification via Schema Heuristics and User Interaction (SB, HS, JCG, RA, JGH), pp. 208–217.
ASEASE-2004-LeowKLS #automation #generative #heuristic #reachability #source code #testing
Heuristic Search with Reachability Tests for Automated Generation of Test Programs (WKL, SCK, THL, VS), pp. 282–285.
DACDAC-2004-Kerntopf #algorithm #heuristic #logic #synthesis
A new heuristic algorithm for reversible logic synthesis (PK), pp. 834–837.
CSMRCSMR-2004-ZaidmanD #clustering #execution #process
Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.
PLDIPLDI-2004-CavazosEM #heuristic
Inducing heuristics to decide whether to schedule (JC, JEBM), pp. 183–194.
SEFMSEFM-2004-KammullerS #heuristic #refinement
Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
ICEISICEIS-v4-2004-ChariA #design #evaluation #heuristic #online
Design and Evaluation of Agent-Based Negotiation Heuristic for Online Negotiations (KC, MA), pp. 92–97.
ICEISICEIS-v5-2004-ArribaB #development #heuristic #usability #web #xml
Usability Heuristics for XML-Based Web Development (MFdA, JALB), pp. 121–125.
ICEISICEIS-v5-2004-KotzeC #authoring #heuristic #tool support
Heuristics Supporting Usable Authoring Tools (PK, EC), pp. 169–178.
KRKR-2004-ZhouH #heuristic
Breadth-First Heuristic Search (RZ, EAH), pp. 701–709.
SIGIRSIGIR-2004-FangTZ #formal method #heuristic #information retrieval
A formal study of information retrieval heuristics (HF, TT, CZ), pp. 49–56.
SACSAC-2004-AlbaC #fault #heuristic #hybrid #parallel #problem
Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
FSEFSE-2004-TanACZL
Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.
ICSEICSE-2004-TanAC #heuristic #refinement
Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
CGOCGO-2004-KudlurFCRCM #heuristic #named #scheduling
FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths (MK, KF, MLC, RAR, NC, SAM), pp. 201–212.
DRRDRR-2003-RahmanTA #heuristic #hybrid #web
Exploring a hybrid of support vector machines (SVMs) and a heuristic-based system in classifying web pages (AFRR, YT, HA), pp. 120–127.
ICSMEICSM-2003-Mitchell #approach #clustering #heuristic #problem
A Heuristic Approach to Solving the Software Clustering Problem (BSM), pp. 285–288.
PLDIPLDI-2003-StephensonAMO #compilation #heuristic #machine learning #optimisation
Meta optimization: improving compiler heuristics with machine learning (MS, SPA, MCM, UMO), pp. 77–90.
FMFME-2003-Lettrari #abstraction #heuristic #object-oriented #using
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.
CHICHI-2003-MankoffDHKLA #evaluation #heuristic
Heuristic evaluation of ambient displays (JM, AKD, GH, JAK, SL, MA), pp. 169–176.
SACSAC-2003-AuyeungGD #algorithm #multi #scheduling #search-based
Multi-Heuristic List Scheduling Genetic Algorithms for Task Scheduling (AA, IG, HKD), pp. 721–724.
SACSAC-2003-RaidlJ #algorithm #bound #heuristic #problem
Greedy Heuristics and an Evolutionary Algorithm for the Bounded-Diameter Minimum Spanning Tree Problem (GRR, BAJ), pp. 747–752.
ICSTSAT-2003-DrakeF #branch #heuristic #interactive
The Interaction Between Inference and Branching Heuristics (LD, AMF), pp. 370–382.
DATEDATE-2002-FlottesPR #heuristic #scheduling
A Heuristic for Test Scheduling at System Level (MLF, JP, BR), p. 1124.
DATEDATE-2002-GorenF #finite #heuristic #named #reduction #state machine
CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines (SG, FJF), pp. 248–254.
ICALPICALP-2002-FabrikantKP #internet #paradigm #trade-off
Heuristically Optimized Trade-Offs: A New Paradigm for Power Laws in the Internet (AF, EK, CHP), pp. 110–122.
FMFME-2002-Burguillo-RialIGN #case study #heuristic #specification #testing
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study (JCBR, MJFI, FJGC, MLN), pp. 57–76.
CSCWCSCW-2002-BakerGG #development #empirical #evaluation #heuristic
Empirical development of a heuristic evaluation methodology for shared workspace groupware (KB, SG, CG), pp. 96–105.
ICMLICML-2002-ZubekD #heuristic #learning
Pruning Improves Heuristic Search for Cost-Sensitive Learning (VBZ, TGD), pp. 19–26.
SACSAC-2002-ChadesSC #approach #assessment #heuristic #problem
A heuristic approach for solving decentralized-POMDP: assessment on the pursuit problem (IC, BS, FC), pp. 57–62.
SACSAC-2002-MathiasCDM #architecture #distributed #heuristic #metaheuristic #named #optimisation
DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods (ENM, CMdC, FLD, FMM), pp. 870–875.
CADECADE-2002-Tour #heuristic #symmetry
A Note on Symmetry Heuristics in SEM (TBdlT), pp. 181–194.
ISSTAISSTA-2002-GroceV #heuristic #java #model checking #source code #using
Model checking Java programs using structural heuristics (AG, WV), pp. 12–21.
ICTSSTestCom-2002-FeijsGMT #distance #heuristic #testing
Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.
DACDAC-2001-CarballoD #collaboration #constraints #design #heuristic
Application of Constraint-Based Heuristics in Collaborative Design (JAC, SWD), pp. 395–400.
DATEDATE-2001-ConstantinidesCL #heuristic #multi
Heuristic datapath allocation for multiple wordlength systems (GAC, PYKC, WL), pp. 791–797.
ICDARICDAR-2001-BloombergPM #documentation #heuristic #image #using
Document Image Decoding Using Iterated Complete Path Search with Subsampled Heuristic Scoring (DSB, KP, TPM), pp. 344–349.
STOCSTOC-2001-AryaGKMP #heuristic #problem
Local search heuristic for k-median and facility location problems (VA, NG, RK, AM, KM, VP), pp. 21–29.
FMFME-2001-BosnackiDH #heuristic #reduction #symmetry
A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
PADLPADL-2001-FlenerHK01a #metaheuristic #problem #set
A Meta-heuristic for Subset Problems (PF, BH, ZK), pp. 274–287.
IJCARIJCAR-2001-AudemardH #heuristic
The eXtended Least Number Heuristic (GA, LH), pp. 427–442.
IJCARIJCAR-2001-GiunchigliaMTZ #heuristic #optimisation #satisfiability
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (EG, MM, AT, DZ), pp. 347–363.
DATEDATE-2000-CordoneFSC #approach #heuristic #performance #problem
An Efficient Heuristic Approach to Solve the Unate Covering Problem (RC, FF, DS, RWC), pp. 364–371.
DATEDATE-2000-SakallahAS #case study #heuristic #satisfiability
An Experimental Study of Satisfiability Search Heuristics (KAS, FAA, JPMS), p. 745.
ICPRICPR-v3-2000-WinkNV #heuristic #using
Minimum Cost Path Determination Using a Simple Heuristic Function (OW, WJN, MAV), pp. 7010–7013.
SIGIRSIGIR-2000-ZhaiJE #adaptation #approach #heuristic #learning
Exploration of a heuristic approach to threshold learning in adaptive filtering (CZ, PJ, DAE), pp. 360–362.
SACSAC-2000-CottaT #heuristic #on the #representation
On the Influence of the Representation Granularity in Heuristic Forma Recombination (CC, JMT), pp. 433–439.
ICLPCL-2000-LimN #approach #documentation #heuristic #html #xml
A Heuristic Approach for Converting HTML Documents to XML Documents (SJL, YKN), pp. 1182–1196.
DACDAC-1999-CaldwellKKM #clustering #development #heuristic
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting (AEC, ABK, AAK, ILM), pp. 349–354.
CIAAWIA-1999-AmilhastreJV #finite #heuristic
FA Minimisation Heuristics for a Class of Finite Languages (JA, PJ, MCV), pp. 1–12.
HCIHCI-EI-1999-KurosuSM #case study #comparative #evaluation #heuristic
A Comparative Study of sHEM (structured heuristic evaluation method) (MK, MS, SM), pp. 938–942.
CAiSECAiSE-1999-PrakashS #heuristic #modelling #quality
Modelling Method Heuristics for Better Quality Products (NP, RS), pp. 429–433.
ICEISICEIS-1999-CarvalhoCNKKBGB #heuristic #object-oriented #reasoning
Expert System Object-Oriented Combining Systematic and Heuristic Reasoning (LFdC, HJTdC, JCN, CAAK, CK, CTB, RZG, VSB), p. 763.
SIGIRSIGIR-1999-KretserM #documentation #effectiveness #heuristic #similarity
Effective Document Presentation with a Locality-Based Similarity Heuristic (OdK, AM), pp. 113–120.
SIGIRSIGIR-1999-PapadiasMKMA #heuristic #retrieval #using
Content-Based Retrieval Using Heuristic Search (DP, MM, PK, NM, IA), pp. 168–175.
SACSAC-1999-DunningR #estimation #heuristic #optimisation
A Heuristic Cost Estimation Method for Optimizing Assignment of Tasks to Processors (LAD, SR), pp. 358–364.
SACSAC-1999-Julstrom #heuristic #permutation
Coding TSP Tours as Permutations via an Insertion Heuristic (BAJ), pp. 297–301.
ICMLICML-1998-Domingos #heuristic
A Process-Oriented Heuristic for Model Selection (PMD), pp. 127–135.
ICPRICPR-1998-DuyguluAD #algorithm #documentation #heuristic #representation
A heuristic algorithm for hierarchical representation of form documents (PD, VA, ED), pp. 929–931.
ICPRICPR-1998-Perez-CortesV #heuristic
The extended general spacefilling curves heuristic (JCPC, EV), pp. 515–517.
TOOLSTOOLS-USA-1998-AndreattaCR #framework #heuristic #object-oriented
An Object-Oriented Framework for Local Search Heuristics (AAA, SERC, CCR), pp. 33–45.
SACSAC-1998-Marchiori98a #algorithm #clique #heuristic #problem #search-based
A simple heuristic based genetic algorithm for the maximum clique problem (EM), pp. 366–373.
DATEEDTC-1997-GovindarajanV #algorithm #clustering #heuristic
Cone-based clustering heuristic for list-scheduling algorithms (SG, RV), pp. 456–462.
DATEEDTC-1997-LiuS #graph #heuristic #multi #performance #using
Multi-layer chip-level global routing using an efficient graph-based Steiner tree heuristic (LCEL, CS), pp. 311–318.
ICDARICDAR-1997-BohnackerSY #heuristic
Matching form lines based on a heuristic search (UB, JS, TY), p. 86–?.
HCIHCI-SEC-1997-LowryHK #bias #evolution #heuristic #human-computer #interface #robust
Heuristics and Biases in the Evolution of a Robust Human-Machine Interface Methodology (JCL, PEVH, SZK), pp. 323–326.
ICMLICML-1997-Menczer #adaptation #heuristic #named #retrieval
ARCCHNID: Adaptive Retrieval Agents Choosing Heuristic Neighborhoods (FM), pp. 227–235.
SACSAC-1997-KhuriC #algorithm #heuristic #problem
Heuristic algorithms for the terminal assignment problem (SK, TC), pp. 247–251.
SACSAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic
Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
DACDAC-1996-TheobaldNW #heuristic #logic #named
Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic (MT, SMN, TW), pp. 71–76.
PLDIPLDI-1996-RuttenbergGLS #compilation #heuristic #pipes and filters
Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler (JCR, GRG, WL, AS), pp. 1–11.
ICALPICALP-1996-CowenFK #framework #heuristic #source code
A Formal Framework for Evaluating Heuristic Programs (LC, JF, SK), pp. 634–645.
KDDKDD-1996-IglesiaDR #database #heuristic #using
Discovering Knowledge in Commercial Databases Using Modern Heuristic Techniques (BdlI, JCWD, VJRS), pp. 44–49.
SACSAC-1996-LiuC #algorithm #distributed #heuristic #query
A heuristic algorithm for partition strategy in distributed query processing (CL, HC), pp. 196–200.
SACSAC-1996-MisirMC #approach #fuzzy #heuristic
A heuristic approach to determine the gains of a fuzzy PID controller (DM, HAM, GC), pp. 609–613.
ICSEICSE-1996-WoodsY #analysis #approach #comprehension #heuristic #problem
The Program Understanding Problem: Analysis and a Heuristic Approach (SGW, QY), pp. 6–15.
CADECADE-1996-Fuchs #experience #heuristic #proving
Experiments in the Heuristic Use of Past Proof Experience (MF), pp. 523–537.
DACDAC-1995-HagenHK #heuristic #layout #quantifier
Quantified Suboptimality of VLSI Layout Heuristics (LWH, DJHH, ABK), pp. 216–221.
ICDARICDAR-v1-1995-LinLS #comprehension #documentation #heuristic #interactive #using
Interactive acquisition of thematic information of Chinese verbs for judicial verdict document understanding using templates, syntactic clues, and heuristics (KHCL, RLL, VWS), pp. 297–300.
ICDARICDAR-v2-1995-WeigelBR #automation #heuristic
Lexical postprocessing by heuristic search and automatic determination of the edit costs (AW, SB, JR), pp. 857–860.
CHICHI-1995-Conn #heuristic #usability
Time Affordances: The Time Factor in Diagnostic Usability Heuristics (APC), pp. 186–193.
ICMLICML-1995-Fuchs #adaptation #heuristic #learning #parametricity #proving
Learning Proof Heuristics by Adaptive Parameters (MF), pp. 235–243.
KDDKDD-1995-MurthyS #effectiveness #heuristic #how #induction #question
Decision Tree Induction: How Effective is the Greedy Heuristic? (SKM, SS), pp. 222–227.
SACSAC-1995-AndersonM #diagrams #heuristic #reasoning
Developing a heuristic via diagrammatic reasoning (MA, RM), pp. 227–231.
SACSAC-1995-HalgamugeBG #algorithm #classification #comparison #generative #heuristic #rule-based #search-based
Comparison of a heuristic method with a genetic algorithm for generation of compact rule based classifiers (SKH, AB, MG), pp. 580–585.
DACDAC-1994-ShipleHSB #heuristic #using
Heuristic Minimization of BDDs Using Don’t Cares (TRS, RH, ALSV, RKB), pp. 225–231.
CHICHI-1994-Nielsen94b #heuristic #power of #usability
Enhancing the explanatory power of usability heuristics (JN), pp. 152–158.
ICMLICML-1994-Valdes-PerezP #behaviour #heuristic
A Powerful Heuristic for the Discovery of Complex Patterned Behaviour (REVP, AP), pp. 326–334.
DACDAC-1993-HuangPS #approach #approximate #heuristic #polynomial #problem
A Polynomial-Time Heuristic Approach to Approximate a Solution to the False Path Problem (STH, TMP, JMS), pp. 118–122.
DACDAC-1993-SantucciCG #behaviour #heuristic #using
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.
HCIHCI-SHI-1993-TrabelsiKN #database #generative #heuristic #interface #natural language #query
Heuristics for Generating Informative Responses to Failing User’s Queries in Natural Language Database Interfaces (ZT, YK, HN), pp. 362–367.
CHIINTERCHI-1993-MyersWPG #heuristic #user interface
Heuristics in real user interfaces (BAM, RW, KP, CG), pp. 304–307.
CHIINTERCHI-1993-NielsenP #empirical #heuristic #interface #usability
Estimating the relative usability of two interfaces: heuristic, formal, and empirical methods compared (JN, VLP), pp. 214–221.
DACDAC-1992-Fishburn #heuristic #logic #named
LATTIS: An Iterative Speedup Heuristic for Mapped Logic (JPF), pp. 488–491.
CHICHI-1992-Nielsen #evaluation #heuristic #problem #usability
Finding usability problems through heuristic evaluation (JN), pp. 373–380.
ICMLML-1992-HoggerB #approach #heuristic #learning #logic programming #source code
The MENTLE Approach to Learning Heuristics for the Control of Logic Programs (EIH, KB), pp. 212–217.
ECOOPECOOP-1992-LauS #heuristic #library #object-oriented #parallel #scalability
An Object-Oriented Class Library for Scalable Parallel Heuristic Search (WCL, VS), pp. 252–267.
DACDAC-1991-ButlerRKM #diagrams #heuristic #order #performance
Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams (KMB, DER, RK, MRM), pp. 417–420.
DACDAC-1991-JainMSW #empirical #evaluation #heuristic #scheduling #synthesis
Empirical Evaluation of Some High-Level Synthesis Scheduling Heuristics (RJ, AM, AS, HW), pp. 686–689.
DACDAC-1991-Woo #heuristic
A Heuristic Method for FPGA Technology Mapping Based on the Edge Visibility (NSW), pp. 248–251.
KDDKDD-1991-WuSO #classification #heuristic #integration
Integration of Heuristic and Bayesian Approaches in a Pattern-Classification System (QW, PS, AO), pp. 249–260.
ICMLML-1991-Day #csp #heuristic #learning #problem
Learning Variable Descriptors for Applying Heuristics Across CSP Problems (DSD), pp. 127–131.
PPDPPLILP-1991-KeslerPR #approach #heuristic #random
A Randomized Heuristic Approach to Register Allocation (CWK, WJP, TR), pp. 195–206.
DACDAC-1990-Fishburn #heuristic #how #logic
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between (JPF), pp. 361–364.
DACDAC-1990-HwangHL #constraints #heuristic #scheduling
Optimum and Heuristic Data Path Scheduling Under Resource Constraints (CTH, YCH, YLL), pp. 65–70.
DACDAC-1990-SaabR #effectiveness #evolution #heuristic #layout #performance #probability #problem
Stochastic Evolution: a Fast Effective Heuristic for Some Generic Layout Problems (YS, VBR), pp. 26–31.
DACDAC-1990-SinghS #algorithm #heuristic #problem
A Heuristic Algorithm for the Fanout Problem (KJS, ALSV), pp. 357–360.
ICALPICALP-1990-SavageW #clustering #heuristic #on the
On Parallelizing Graph-Partitioning Heuristics (JES, MGW), pp. 476–489.
CHICHI-1990-NielsenM #evaluation #heuristic #user interface
Heuristic evaluation of user interfaces (JN, RM), pp. 249–256.
SIGIRSIGIR-1990-Rousseau #approach #heuristic #question #retrieval
Extended Boolean Retrieval: A Heuristic Approach? (RR), pp. 495–508.
CADECADE-1990-SuttnerE #automation #heuristic
Automatic Acquisition of Search Guiding Heuristics (CBS, WE), pp. 470–484.
DACDAC-1989-SherwaniD #heuristic #problem
A New Heuristic for Single Row Routing Problems (NAS, JSD), pp. 167–172.
SIGMODSIGMOD-1989-Swami #combinator #heuristic #optimisation #query #scalability
Optimization of Large Join Queries: Combining Heuristic and Combinatorial Techniques (ANS), pp. 367–376.
PLDIPLDI-1989-BriggsCKT #heuristic
Coloring Heuristics for Register Allocation (PB, KDC, KK, LT), pp. 275–284.
PLDIBest-of-PLDI-1989-BriggsCKT89a #heuristic
Coloring heuristics for register allocation (with retrospective) (PB, KDC, KK, LT), pp. 283–294.
ICMLML-1989-MostowP #heuristic #optimisation
Discovering Admissible Search Heuristics by Abstracting and Optimizing (JM, AP), p. 240.
DACDAC-1988-Pangre #approach #heuristic #named
Splicer: A Heuristic Approach to Connectivity Binding (BMP), pp. 536–541.
ICSEICSE-1988-HuangZC #algorithm #clustering #distributed #heuristic #realtime
Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications (XH, HZ, XC), pp. 116–121.
PPoPPPPEALS-1988-StrammB #algorithm #compilation #heuristic
Communication-Sensitive Heuristics and Algorithms for Mapping Compilers (BS, FB), pp. 222–234.
ICLPJICSCP-1988-Abdallah88 #heuristic #logic #process
Heuristic Logic and the Process of Discovery (MANA), pp. 859–875.
DACDAC-1987-Forbes #heuristic
Heuristic Acceleration of Force-Directed Placement (RF), pp. 735–740.
DACDAC-1987-MinaiWB #approach #evaluation #heuristic #predict
A Discrete Heuristics Approach to Predictive Evaluation of Semi-Custom IC Layouts (AAM, RDW, FWB), pp. 770–776.
ICALPICALP-1987-LevcopoulosLS #geometry #heuristic
Nearly Optimal Heuristics for Binary Search Trees with Geometric Generalizations (Extended Abstract) (CL, AL, JRS), pp. 376–385.
DACDAC-1986-BarclayA #algorithm #generative #heuristic #testing
A heuristic chip-level test generation algorithm (DSB, JRA), pp. 257–262.
DACDAC-1986-Coppola #heuristic #implementation
An implementation of a state assignment heuristic (AJC), pp. 643–649.
DACDAC-1986-PatelP #automation #effectiveness #generative #heuristic #metric
Effectiveness of heuristics measures for automatic test pattern generation (SJP, JHP), pp. 547–552.
CADECADE-1986-Lim #heuristic
The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
CADECADE-1986-OppacherS #deduction #heuristic #proving
Controlling Deduction with Proof Condensation and Heuristics (FO, ES), pp. 384–393.
DACDAC-1985-KuoCH #algorithm #heuristic
A heuristic algorithm for PLA block folding (YSK, CC, TCH), pp. 744–747.
DACDAC-1983-CohoonS #heuristic #problem
Heuristics for the Circuit Realization Problem (JC, SS), pp. 560–566.
DACDAC-1983-Vida-TorkuH #generative #heuristic #petri net #testing
Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.
DACDAC-1982-FiducciaM #heuristic #linear #network
A linear-time heuristic for improving network partitions (CMF, RMM), pp. 175–181.
VLDBVLDB-1982-Chang #approach #distributed #heuristic #query
A Heuristic Approach to Distributed Query Processing (JMC), pp. 54–61.
STOCSTOC-1980-SupowitPR #heuristic
Heuristics for Weighted Perfect Matching (KJS, DAP, EMR), pp. 398–419.
SIGMODSIGMOD-1979-HammerN #approach #clustering #heuristic
A Heuristic Approach to Attribute Partitioning (MH, BN), pp. 93–101.
DACDAC-1977-Strebendt #algorithm #generative #heuristic
Heuristic enhancement of an algorithmic test generator (RES), pp. 84–87.
DACDAC-1975-YoshizawaKK #array #heuristic
A heuristic procedure for ordering MOS arrays (HY, HK, KK), pp. 384–393.
DACDAC-1974-ArimaTAO #algorithm #generative #heuristic #testing
A new heuristic test generation algorithm for sequential circuits (TA, MT, GA, JO), pp. 169–176.
DACDAC-1970-SmithT #heuristic #scalability
A simplification heuristic for large flow tables (RJSI, JHT), pp. 47–53.

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