BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
heuristic
Google heuristic

Tag #heuristic

361 papers:

ICPCICPC-2019-PecorelliPNL #detection #machine learning #smell
Comparing heuristic and machine learning approaches for metric-based code smell detection (FP, FP, DDN, ADL), pp. 93–104.
CoGCoG-2019-BallabioL #multi
Heuristics for Placing the Spawn Points in Multiplayer First Person Shooters (MB, DL), pp. 1–8.
CoGCoG-2019-LiuR0S #performance #using
Using Restart Heuristics to Improve Agent Performance in Angry Birds (TL, JR, PZ0, MS), pp. 1–8.
FDGFDG-2019-KohlerMK #composition #game studies
Composition of basic heuristics for the game 2048 (IK, TM, FK), p. 5.
CoGVS-Games-2019-HeinzS #design #evaluation #simulation #using
Addressing Spatio-Temporal Geogame Relocation Issues Using Design Evaluation Heuristics and Agent-based Simulation (TH0, CS), pp. 1–4.
SASSAS-2019-VolkerK #policy #static analysis
A Change-Based Heuristic for Static Analysis with Policy Iteration (MV, SK), pp. 73–95.
ESEC-FSEESEC-FSE-2019-ChaO #adaptation #testing
Concolic testing with adaptively changing search heuristics (SC, HO), pp. 235–245.
CASECASE-2019-RobinsonSP #using #visual notation
Bin-Picking using Model-Free Visual Heuristics and Grasp-Constrained Imaging (CR, MNS, DOP), pp. 1618–1624.
CASECASE-2019-WuPZ #algorithm #fault tolerance #network
A heuristic pathfinding algorithm for dynamic fault tolerance in manufacturing networks (YW, GP, HZ), pp. 1580–1585.
CASECASE-2019-ZabinskyHH #approximate #bound #branch
Integrating Heuristics and Approximations into a Branch and Bound Framework* (ZBZ, TYH, HH), pp. 774–779.
CoGCIG-2018-BulitkoD #learning #realtime
Anxious Learning in Real-Time Heuristic Search (VB, KD), pp. 1–4.
CoGCIG-2018-SigurdsonB0HK #multi #realtime
Multi-Agent Pathfinding with Real-Time Heuristic Search (DS, VB, WY0, CH, SK), pp. 1–8.
CoGCIG-2018-SilvaTLN #generative
Generating Novice Heuristics for Post-Flop Poker (FdMS, JT, FL, AN), pp. 1–8.
FDGFDG-2018-FarlowT #game studies #multi #online
Periodic load balancing heuristics in massively multiplayer online games (SF, JLT), p. 10.
PADLPADL-2018-CalimeriFPZ #composition #optimisation #set
Optimizing Answer Set Computation via Heuristic-Based Decomposition (FC, DF, SP, JZ), pp. 135–151.
SASSAS-2018-RuefHC
Volume-Based Merge Heuristics for Disjunctive Numeric Domains (AR, KH, AC), pp. 383–401.
ICSE-2018-ChaHLO #automation #generative #testing
Automatically generating search heuristics for concolic testing (SC, SH, JL, HO), pp. 1244–1254.
CASECASE-2018-SpenrathP #network #random #using
Using Neural Networks for Heuristic Grasp Planning in Random Bin Picking (FS, AP), pp. 258–263.
CASECASE-2018-ZhuLH #algorithm #multi #problem #scheduling
A Modified Heuristic Algorithm for Resource Constrained Multi-project Scheduling Problem based on Inspection and Rework (HZ, ZL, XH), pp. 1058–1063.
AIIDEAIIDE-2017-OskouieB #algorithm #fault #realtime #robust
Robustness of Real-Time Heuristic Search Algorithms to Read/Write Error in Externally Stored Heuristics (MAO, VB), pp. 137–143.
AIIDEAIIDE-2017-SigurdsonB #algorithm #learning #realtime
Deep Learning for Real-Time Heuristic Search Algorithm Selection (DS, VB), pp. 108–114.
CoGCIG-2017-FontMLR #approach #game studies #hybrid #towards
Towards a hybrid neural and evolutionary heuristic approach for playing tile-matching puzzle games (JMF, DM, SL, PRC), pp. 76–79.
CoGCIG-2017-Guerrero-Romero #game studies
Beyond playing to win: Diversifying heuristics for GVGAI (CGR, AL, DPL), pp. 118–125.
FDGFDG-2017-FarlowT #problem
Greedy heuristics for client assignment problem by zones (SF, JLT), p. 10.
KDDKDD-2017-ZhangWLTL #clustering #graph
Graph Edge Partitioning via Neighborhood Heuristic (CZ, FW, QL, ZGT, ZL), pp. 605–614.
MoDELSMoDELS-2017-BatotKSF #metamodelling #ocl #recommendation
Heuristic-Based Recommendation for Metamodel — OCL Coevolution (EB, WK, HAS, MF), pp. 210–220.
OOPSLAOOPSLA-2017-ChaeOHY #automation #generative #learning #program analysis
Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.
SASSAS-2017-HolikMVW #analysis #summary #thread
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic (LH, RM0, TV, SW), pp. 169–191.
ESEC-FSEESEC-FSE-2017-Schramm #automation #performance #program repair #using
Improving performance of automatic program repair using learned heuristics (LS), pp. 1071–1073.
ESEC-FSEESEC-FSE-2017-VolfS
Screening heuristics for project gating systems (ZV, ES), pp. 872–877.
ICTSSICTSS-2017-AltunAKK
Synchronizing Heuristics: Speeding up the Slowest (ÖFA, KTA, SK, KK), pp. 243–256.
ICSMEICSME-2016-WieseSSTG #ambiguity #identification #multi
Who is Who in the Mailing List? Comparing Six Disambiguation Heuristics to Identify Multiple Addresses of a Participant (ISW, JTdS, IS, CT, MAG), pp. 345–355.
AIIDEAIIDE-2016-Bulitko #algorithm #realtime
Per-Map Algorithm Selection in Real-Time Heuristic Search (VB), pp. 143–148.
CoGCIG-2016-SilvaITN #generative
Generating heuristics for novice players (FdMS, AI, JT, AN), pp. 1–8.
CoGCIG-2016-XuV
Heuristics for sleep and heal in combat (SX, CV), pp. 1–8.
OnwardOnward-2016-MilojkovicN #type inference
Exploring cheap type inference heuristics in dynamically typed languages (NM, ON), pp. 43–56.
ICTSSICTSS-2016-KarahodaEKTY #generative #sequence
Parallelizing Heuristics for Generating Synchronizing Sequences (SK, OTE, KK, UCT, HY), pp. 106–122.
IJCARIJCAR-2016-SchulzM #performance #proving #theorem proving
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (SS0, MM), pp. 330–345.
ICALPICALP-v1-2015-KunnemannM #approximate #comprehension #towards
Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic (MK, BM), pp. 859–871.
CHI-PLAYCHI-PLAY-2015-GaleMP #artificial reality #guidelines #smarttech
Heuristic Guidelines for Playful Wearable Augmented Reality Applications (NG, PMB, IP), pp. 529–534.
DiGRADiGRA-2015-StraatW #game studies
Applying the Two-Factor-Theory to the PLAY Heuristics (BS, HW).
HCIDUXU-DD-2015-CamposBFNC #experience #guidelines #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 #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 #usability
Experimental Case Study of New Usability Heuristics (FP, FAP, JAPS), pp. 212–223.
HCIDUXU-IXD-2015-AljohaniB #evaluation #repository
Heuristic Evaluation of University Institutional Repositories Based on DSpace (MA, JB), pp. 119–130.
HCIDUXU-UI-2015-JoyceLBJ #evaluation #smarttech #usability
Smartphone Application Usability Evaluation: The Applicability of Traditional Heuristics (GJ, ML, TB, AJ), pp. 541–550.
HCIHCI-DE-2015-ChomaZB #communication #design #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 #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
Heuristics for NUI Revisited and Put into Practice (VRMLM, LdSBN, SKG, MCCB), pp. 317–328.
HCIHCI-UC-2015-LopesGCSO #community #evaluation
Heuristic to Support the Sociability Evaluation in Virtual Communities of Practices (LAL, DFG, TAC, EMS, TFdO), pp. 3–14.
ICEISICEIS-v1-2015-ConstantinonNS
Combining Heuristic and Utility Function for Fair Train Crew Rostering (AAC, CFXdMN, AGN, AFdS), pp. 593–602.
ICEISICEIS-v1-2015-GruppiMAFL #performance
An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
CIKMCIKM-2015-Lv #case study #information retrieval #query
A Study of Query Length Heuristics in Information Retrieval (YL), pp. 1747–1750.
MLDMMLDM-2015-FerrerSR #approximate #distance #edit distance #graph #learning
Learning Heuristics to Reduce the Overestimation of Bipartite Graph Edit Distance Approximation (MF, FS, KR), pp. 17–31.
SASSAS-2015-Terauchi #effectiveness #refinement #verification
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.
CASECASE-2015-LyuWC #algorithm #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 #using
Designing inexact systems efficiently using elimination heuristics (SV, AK, JS, CCE), pp. 758–763.
DATEDATE-2015-WaqasGKSBSVC #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.
ICTSSICTSS-2015-KushikY #adaptation #finite #nondeterminism #sequence #state machine
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines (NK, HY), pp. 243–248.
DRRDRR-2014-ParkerFF #documentation #image #robust #using
Robust binarization of degraded document images using heuristics (JP, OF, GF), p. ?–12.
JCDLJCDL-2014-SantanaGLF #ambiguity
Combining domain-specific heuristics for author name disambiguation (AFS, MAG, AHFL, AAF), pp. 173–182.
ICSMEICSME-2014-KhanIA #approach #behaviour #state machine #uml
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.
CoGCIG-2014-LanctotWPS #monte carlo #using
Monte Carlo Tree Search with heuristic evaluations using implicit minimax backups (ML, MHMW, TP, NRS), pp. 1–8.
CoGCIG-2014-SephtonCPS #game studies #monte carlo
Heuristic move pruning in Monte Carlo Tree Search for the strategic card game Lords of War (NS, PIC, EJP, NHS), pp. 1–7.
DiGRADiGRA-2014-Christiansen #game studies #persuasion
Presence and Heuristic Cues: Cognitive Approaches to Persuasion in Games (PC).
HCIDUXU-TMT-2014-Al-RazganAA #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 #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
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 #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 #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 #online
Developing Playability Heuristics for Computer Games from Online Reviews (MZ, XF), pp. 496–505.
HCIHCI-AIMT-2014-DharmaT #elicitation #empirical #overview #perspective
A Heuristic Model of Vibrotactile Haptic Feedbacks Elicitation Based on Empirical Review (AAGD, KT), pp. 624–632.
HCIHCI-AS-2014-SalgadoF #evaluation #mobile #usability
Heuristic Evaluation of Mobile Usability: A Mapping Study (AdLS, APF), pp. 178–188.
HCIHCI-TMT-2014-RodriguesTN14a #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
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 #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 #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
Expert vs Novice Evaluators — Comparison of Heuristic Evaluation Assessment (MB, ML), pp. 144–149.
CIKMCIKM-2014-ChatzistergiouV #clustering #data type #performance
Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
ICMLICML-c1-2014-ZhangHL #performance
Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICPRICPR-2014-BruneauPO #algorithm #automation #clustering
A Heuristic for the Automatic Parametrization of the Spectral Clustering Algorithm (PB, OP, BO), pp. 1313–1318.
KDIRKDIR-2014-AzadM #classification #consistency #fault
“Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
KRKR-2014-SiderisD #optimisation
Heuristic Guided Optimization for Propositional Planning (AS, YD).
PPDPPPDP-2014-SchrijversWDD #functional #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 #optimisation #performance
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
ASEASE-2014-MarkerBG #comprehension #performance
Understanding performance stairs: elucidating heuristics (BM, DSB, RAvdG), pp. 301–312.
FSEFSE-2014-DingesA
Solving complex path conditions through heuristic search on induced polytopes (PD, GAA), pp. 425–436.
SACSAC-2014-BertoutFO #automation #clustering #realtime #set
A heuristic to minimize the cardinality of a real-time task set by automated task clustering (AB, JF, RO), pp. 1431–1436.
ICSTSAT-2014-BalintBFS #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 #modelling #network
Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach (VA, AA, AM, AS), pp. 322–336.
ICDARICDAR-2013-KimLT #classification #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 #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
Heuristics for discovering architectural violations (CAM, MTV, MAdSB, NA, AH), pp. 222–231.
CoGCIG-2013-AlhejaliL #monte carlo #programming #search-based #using
Using genetic programming to evolve heuristics for a Monte Carlo Tree Search Ms Pac-Man agent (AMA, SML), pp. 1–8.
CoGCIG-2013-PowleyWC13a #monte carlo #multi #physics #problem
Monte Carlo Tree Search with macro-actions and heuristic route planning for the Multiobjective Physical Travelling Salesman Problem (EJP, DW, PIC), pp. 1–8.
HCIDUXU-NTE-2013-MarcusAA #evaluation
Heuristic Evaluation of iCalamityGuide Application (AM, SA, MFA), pp. 130–139.
ICEISICEIS-v1-2013-SimrinAD #problem #using
A Lagrangian Relaxation based Heuristic for the Static Berth Allocation Problem using the Cutting Plane Method (ASS, NNA, AHD), pp. 565–569.
CASECASE-2013-LiJJ #algorithm
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 #optimisation
A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.
CCCC-2013-BaranyK
Optimal and Heuristic Global Code Motion for Minimal Spilling (GB, AK), pp. 21–40.
CGOCGO-2013-DioufCR #polynomial
A polynomial spilling heuristic: Layered allocation (BD, AC, FR), p. 10.
CGOCGO-2013-KulkarniCWS #automation #machine learning #using
Automatic construction of inlining heuristics using machine learning (SK, JC, CW, DS), p. 12.
ICSTSAT-2013-Gableske #message passing #on the #satisfiability
On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
AIIDEAIIDE-2012-BulitkoRL #on the #realtime
On Case Base Formation in Real-Time Heuristic Search (VB, DCR, RL).
AIIDEAIIDE-2012-ChurchillSB #game studies #performance
Fast Heuristic Search for RTS Game Combat Scenarios (DC, AS, MB).
CoGCIG-2012-IkedaTVT #algorithm #game studies
Playing PuyoPuyo: Two search algorithms for constructing chain and tactical heuristics (KI, DT, SV, YT), pp. 71–78.
CoGCIG-2012-PowleyWC #monte carlo #physics #problem
Monte Carlo Tree Search with macro-actions and heuristic route planning for the Physical Travelling Salesman Problem (EJP, DW, PIC), pp. 234–241.
MLDMMLDM-2012-BouhamedMLR #learning #network
A New Learning Structure Heuristic of Bayesian Networks from Data (HB, AM, TL, AR), pp. 183–197.
RecSysRecSys-2012-Ninaus #recommendation #requirements #using
Using group recommendation heuristics for the prioritization of requirements (GN), pp. 329–332.
SIGIRSIGIR-2012-LvLW #mobile #ranking
An exploration of ranking heuristics in mobile local search (YL, DL, QW), pp. 295–304.
SPLCSPLC-2012-NunesGLL #evolution #product line
History-sensitive heuristics for recovery of features in code of evolving program families (CN, AG, CJPdL, JL), pp. 136–145.
REFSQREFSQ-2012-KnaussS #documentation #learning #requirements
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques (EK, KS), pp. 165–171.
SACSAC-2012-HaublWM #evaluation #java
Evaluation of trace inlining heuristics for Java (CH, CW, HM), pp. 1871–1876.
SACSAC-2012-SantosCSLB #analysis #identification #modelling #process
Analysis of heuristics to identify crosscutting concerns in business process models (FJNS, CC, FMS, JCSdPL, TVB), pp. 1725–1726.
CASECASE-2012-BilykM #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 #scheduling
An exploratory study of a decomposition heuristic for complex shop scheduling with transportation (RD, LM), pp. 413–418.
PPoPPPPoPP-2012-WernsingS #automation #manycore #named
RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems (JRW, GS), pp. 321–322.
CSMRCSMR-2011-HigoK #clone detection #dependence #detection
Code Clone Detection on Specialized PDGs with Heuristics (YH, SK), pp. 75–84.
AGTIVEAGTIVE-2011-FurstMM #graph grammar #induction #process
Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.
CHICHI-2011-AyyavuJ #feedback #privacy #security
Integrating user feedback with heuristic security and privacy management systems (PA, CJ), pp. 2305–2314.
HCIDUXU-v1-2011-BotellaGT #evaluation #interactive #using
Using Interaction Patterns in Heuristic Evaluation (FB, JAG, RT), pp. 23–32.
HCIDUXU-v2-2011-MasipOG #classification #component #evaluation #interactive
Classification of Interactive System Components Enables Planning Heuristic Evaluation Easier (LM, MO, TG), pp. 478–486.
HCIIDGD-2011-EksiogluKCSO #case study #evaluation #testing #usability
Heuristic Evaluation and Usability Testing: Case Study (ME, EK, , MNS, SO), pp. 143–151.
SEKESEKE-2011-Zhang #problem
Inconsistency-Induced Heuristics for Problem Solving (DZ), pp. 137–142.
PLATEAUPLATEAU-2011-SadowskiK #case study #evaluation #parallel #programming language
Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
TOOLSTOOLS-EUROPE-2011-HeideggerT #approach
A Heuristic Approach for Computing Effects (PH, PT), pp. 147–162.
REFSQREFSQ-2011-El-SharkawyS #approach #empirical #requirements
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment (SES, KS), pp. 78–93.
SACSAC-2011-ElahiY #analysis #metric #requirements #trade-off
Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method (GE, ESKY), pp. 651–658.
CASECASE-2011-HuangG #deployment
An improved Least Cost Heuristic for dynamic yard crane deployment in container terminals (SYH, XG), pp. 84–89.
ICSTICST-2011-SmithW #detection #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 #satisfiability
Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
CSMRCSMR-2010-AsadiPAG #approach #concept #execution #identification
A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.
ICPRICPR-2010-TopalAG #approach #detection #realtime #robust
Edge Drawing: A Heuristic Approach to Robust Real-Time Edge Detection (CT, CA, YG), pp. 2424–2427.
KDDKDD-2010-BozorgiSSV #learning #predict
Beyond heuristics: learning to classify vulnerabilities and predict exploits (MB, LKS, SS, GMV), pp. 105–114.
KEODKEOD-2010-MazakSL #approximate #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
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 #petri net #sequence chart #using
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
CASECASE-2010-DriesselHMS #architecture #assessment #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 #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 #metric #named
Eyecharts: constructive benchmarking of gate sizing heuristics (PG, ABK, AK, PS), pp. 597–602.
DATEDATE-2010-SigdelTGPB #case study #evaluation #runtime
Evaluation of runtime task mapping heuristics with rSesame — a case study (KS, MT, CG, ADP, KB), pp. 831–836.
HPDCHPDC-2010-ReinefeldSM #database #scalability
Very large pattern databases for heuristic search (AR, TS, RM), pp. 803–809.
FASEFASE-2010-LauterburgKMA #partial order #reduction
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
ICLPICLP-2010-Balduccini10 #learning #set
Learning Domain-Specific Heuristics for Answer Set Solvers (MB), pp. 14–23.
CIAACIAA-2009-AhnH #implementation #using
Implementation of State Elimination Using Heuristics (JHA, YSH), pp. 178–187.
SEFMSEFM-2009-BuiN #model checking
Heuristic Sensitivity in Guided Random-Walk Based Model Checking (THB, AN), pp. 125–134.
CHICHI-2009-GeertsG #social
Supporting the social uses of television: sociability heuristics for social tv (DG, DDG), pp. 595–604.
HCIHCD-2009-Varsaluoma #evaluation #mobile
Scenarios in the Heuristic Evaluation of Mobile Devices: Emphasizing the Context of Use (JV), pp. 332–341.
HCIHCI-NT-2009-MirelW #development #tool support
Heuristic Evaluations of Bioinformatics Tools: A Development Case (BM, ZW), pp. 329–338.
HCIHCI-VAD-2009-BuxtonTF #evaluation #scalability #using
Heuristic Evaluation of Mission-Critical Software Using a Large Team (TB, AT, ALF), pp. 673–682.
HCIHIMI-II-2009-AllamrajuC #clustering #documentation #preprocessor
Enhancing Document Clustering through Heuristics and Summary-Based Pre-processing (SHA, RC), pp. 105–113.
HCIOCSC-2009-DesurvireW #design #game studies #usability
Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration (HD, CW), pp. 557–566.
HCIOCSC-2009-PuseyM #education #implementation #learning #wiki
Heuristics for Implementation of Wiki Technology in Higher Education Learning (PP, GM), pp. 507–514.
ICEISICEIS-AIDSS-2009-BoryczkaK #approach
A New Heuristic Function in Ant-miner Approach (UB, JK), pp. 33–38.
RERE-2009-KnaussSS #learning #requirements
Learning to Write Better Requirements through Heuristic Critiques (EK, KS, KS), pp. 387–388.
ASEASE-2009-KimYS #concurrent #detection #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.
ICSEICSE-2009-KnaussLM #requirements
Feedback-driven requirements engineering: The Heuristic Requirements Assistant (EK, DL, SM), pp. 587–590.
SACSAC-2009-KrocSS #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 approach for automated shelf space allocation (DLS, FM, KL), pp. 922–928.
CASECASE-2009-WuCCW #problem
Heuristic for lane reservation problem in time constrained transportation (YW, CC, FC, NW), pp. 543–548.
CASECASE-2009-WuS #multi #problem
A new heuristic method for capacitated multi-level lot sizing problem with backlogging (TW, LS), pp. 483–488.
DACDAC-2009-SarbisheiAF #clustering #optimisation #polynomial #using
Polynomial datapath optimization using partitioning and compensation heuristics (OS, BA, MF), pp. 931–936.
DACDAC-2009-ShojaeiGBGSH #composition #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.
ICSTSAT-2009-SinzI #problem
Problem-Sensitive Restart Heuristics for the DPLL Procedure (CS, MI), pp. 356–362.
TAPTAP-2009-CalvagnaG #combinator #interactive #satisfiability #testing
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.
ICSMEICSM-2008-MalikH #adaptation #co-evolution #evolution #using
Supporting software evolution using adaptive change propagation heuristics (HM, AEH), pp. 177–186.
CoGCIG-2008-BahceciM #game studies
Transfer of evolved pattern-based heuristics in games (EB, RM), pp. 220–227.
CHICHI-2008-PinelleW #design #evaluation #game studies #usability #video
Heuristic evaluation for games: usability principles for video game design (DP, NW), pp. 1453–1462.
ICEISICEIS-AIDSS-2008-Guzman-ArenasC #information management
Knowledge Acquisition with OM — A Heuristic Solution (AGA, ADCR), pp. 356–363.
CIKMCIKM-2008-KormilitsinCFS #algorithm
View and index selection for query-performance improvement: quality-centered algorithms and heuristics (MK, RC, YF, MFS), pp. 1329–1330.
CIKMCIKM-2008-PlacekTSDS #approach #query
A heuristic approach for checking containment of generalized tree-pattern queries (PP, DT, SS, TD, TKS), pp. 551–560.
POPLPOPL-2008-McMillan #program analysis
Relevance heuristics for program analysis (KLM), pp. 145–146.
ASEASE-2008-BurnimS #generative #scalability #testing
Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
SACSAC-2008-DouillardJ #constraints
Splitting heuristics for disjunctive numerical constraints (TD, CJ), pp. 140–144.
SACSAC-2008-LunaAAB #fault tolerance #multi #resource management
Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems (AdLA, SA, JPB), pp. 66–70.
SACSAC-2008-OliveiraRSCBM #problem
A vehicular waiting time heuristic for dynamic vehicle routing problem (HCBdO, GMR, MMdS, LAC, VRB, GRM), pp. 13–17.
CASECASE-2008-Monch #parallel
Heuristics to minimize total weighted tardiness of jobs on unrelated parallel machines (LM), pp. 572–577.
CASECASE-2008-TeoP #hybrid #layout #problem
A hybrid ACO/PSO heuristic to solve single row layout problem (YTT, SGP), pp. 597–602.
LCTESLCTES-2008-LeeMK #compilation #detection #embedded #java
Enhanced hot spot detection heuristics for embedded java just-in-time compilers (SWL, SMM, SMK), pp. 13–22.
PDPPDP-2008-TonellottoBFRY #parallel #scheduling
QoS-constrained List Scheduling Heuristics for Parallel Applications on Grids (NT, RB, RF, LR, RY), pp. 379–383.
ICALPICALP-2007-CaragiannisFM #ad hoc #energy #exponential #network
An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks (IC, MF, LM), pp. 447–458.
CoGCIG-2007-Salcedo-SanzOPPY
Solving Japanese Puzzles with Heuristics (SSS, EGOG, ÁMPB, APF, XY0), pp. 224–231.
HCIHCI-IDU-2007-KowalskiG #collaboration #design #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
Best of both: a hybridized centroid-medoid clustering heuristic (NG, MEH), pp. 313–320.
KDDKDD-2007-HuaP #approach
Cleaning disguised missing data: a heuristic approach (MH, JP), pp. 950–958.
ASEASE-2007-McIntyreW #automation
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.
CASECASE-2007-YogeswaranPT #algorithm #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.
CGOCGO-2007-KulkarniWT #algorithm #optimisation #order
Evaluating Heuristic Optimization Phase Order Search Algorithms (PAK, DBW, GST), pp. 157–169.
DACDAC-2007-VermaBI #composition
Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.
TACASTACAS-2007-KupferschmidDHFDPB #model checking
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
AMOSTA-MOST-2007-KorelKT #evaluation #modelling
Model-based test prioritization heuristic methods and their evaluation (BK, GK, LHT), pp. 34–43.
ISSTAISSTA-2007-RenR #fault #java #locality #ranking
Heuristic ranking of java program edits for fault localization (XR, BGR), pp. 239–249.
ICPCICPC-2006-SalehieLT #design #detection #framework #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 #random
An Adaptive Spectral Heuristic for Partitioning Random Graphs (ACO), pp. 691–702.
IFLIFL-2006-HageH #fault
Heuristics for Type Error Discovery and Recovery (JH, BH), pp. 199–216.
AIIDEAIIDE-2006-BjornssonH #game studies
Improved Heuristics for Optimal Path-finding on Game Maps (YB, KH), pp. 9–14.
AIIDEAIIDE-2006-LikhachevK #game studies #incremental
Incremental Heuristic Search in Games: The Quest for Speed (ML, SK), pp. 118–120.
CoGCIG-2006-Cazenave #algorithm #data type #optimisation
Optimizations of data structures, heuristics and algorithms for path-finding on maps (TC), pp. 27–33.
ICGTICGT-2006-EdelkampJL #analysis #graph
Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.
CIKMCIKM-2006-TheodoratosSDPS #graph #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 #using
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge (BB, HG), pp. 452–462.
SEKESEKE-2006-NieXSW #generative #testing
A New Heuristic for Test Suite Generation for Pair-wise Testing (CN, BX, LS, ZW), pp. 517–521.
SACSAC-2006-CutelloNO #algorithm #analysis
Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.
CASECASE-2006-CapachoPGD #assembly #problem
Heuristic Methods to Solve the Alternative Subgraphs Assembly Line Balancing Problem (LC, RP, OG, AD), pp. 501–506.
CGOCGO-2006-ChakrabartiL #analysis
Inline Analysis: Beyond Selection Heuristics (DRC, SML), pp. 221–232.
DATEDATE-2006-SrinivasanC #architecture #complexity #design
A low complexity heuristic for design of custom network-on-chip architectures (KS, KSC), pp. 130–135.
CAVCAV-2006-Roe #modulo theories #proving #smt #theorem proving
The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover (KR), pp. 467–470.
ICDARICDAR-2005-ChengB #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
A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification (PB, MF, WF, RR), pp. 143–154.
SIGITESIGITE-2005-Elnatour #education #evaluation
Functional-driven heuristic evaluation of administrative portal systems used in institutions of higher education (DE), pp. 373–374.
PPDPPPDP-2005-PaluDP #optimisation #parallel #predict
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.
ASEASE-2005-RungtaM #model checking
A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.
SACSAC-2005-LimZLR #graph #problem
Heuristic methods for graph coloring problems (AL, YZ, QL, BR), pp. 933–939.
CASECASE-2005-GuschinskayaDGL #approach #optimisation
A combined heuristic approach for optimization of a class of machining lines (OG, AD, NG, GL), pp. 154–159.
CASECASE-2005-KameshwaranN #evaluation
A Lagrangian heuristic for bid evaluation in e-procurement auctions (SK, YN), pp. 220–225.
DATEDATE-2005-PomeranzR05a #detection #fault
The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits (IP, SMR), pp. 1008–1013.
DATEDATE-2005-ResanoMC #configuration management #hardware #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.
ICSTSAT-2005-Coste-MarquisBL #branch #quantifier
A Branching Heuristics for Quantified Renamable Horn Formulas (SCM, DLB, FL), pp. 393–399.
ICSTSAT-2005-DershowitzHN #satisfiability
A Clause-Based Heuristic for SAT Solvers (ND, ZH, AN), pp. 46–60.
ICSTSAT-2005-SangBK #performance
Heuristics for Fast Exact Model Counting (TS, PB, HAK), pp. 226–240.
WICSAWICSA-2004-Perez-MartinezS #analysis #architecture
Heuristics for the Transition from Analysis to Software Architecture (JEPM, ASA), pp. 311–314.
SEFMSEFM-2004-KammullerS #refinement
Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
ICEISICEIS-v4-2004-ChariA #design #evaluation #online
Design and Evaluation of Agent-Based Negotiation Heuristic for Online Negotiations (KC, MA), pp. 92–97.
ICEISICEIS-v5-2004-ArribaB #development #usability #web #xml
Usability Heuristics for XML-Based Web Development (MFdA, JALB), pp. 121–125.
ICEISICEIS-v5-2004-KotzeC #authoring #tool support
Heuristics Supporting Usable Authoring Tools (PK, EC), pp. 169–178.
KRKR-2004-ZhouH
Breadth-First Heuristic Search (RZ, EAH), pp. 701–709.
SIGIRSIGIR-2004-FangTZ #formal method #information retrieval
A formal study of information retrieval heuristics (HF, TT, CZ), pp. 49–56.
PLDIPLDI-2004-CavazosEM
Inducing heuristics to decide whether to schedule (JC, JEBM), pp. 183–194.
ASEASE-2004-BossungSGAH #automation #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 #reachability #source code #testing
Heuristic Search with Reachability Tests for Automated Generation of Test Programs (WKL, SCK, THL, VS), pp. 282–285.
ICSEICSE-2004-TanAC #refinement
Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
SACSAC-2004-AlbaC #fault #hybrid #parallel #problem
Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
CGOCGO-2004-KudlurFCRCM #named #scheduling
FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths (MK, KF, MLC, RAR, NC, SAM), pp. 201–212.
DACDAC-2004-Kerntopf #algorithm #logic #synthesis
A new heuristic algorithm for reversible logic synthesis (PK), pp. 834–837.
PDPPDP-2004-BanosGOM #clustering #graph #parallel
Parallel Heuristic Search in Multilevel Graph Partitioning (RB, CG, JO, FGM), pp. 88–95.
PDPPDP-2004-HagrasJ #scheduling
A Static Task Scheduling Heuristic for Homogeneous Computing Environments (TH, JJ), p. 192–?.
DRRDRR-2003-RahmanTA #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 #problem
A Heuristic Approach to Solving the Software Clustering Problem (BSM), pp. 285–288.
FMFME-2003-Lettrari #abstraction #object-oriented #using
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.
CHICHI-2003-MankoffDHKLA #evaluation
Heuristic evaluation of ambient displays (JM, AKD, GH, JAK, SL, MA), pp. 169–176.
PLDIPLDI-2003-StephensonAMO #compilation #machine learning #optimisation
Meta optimization: improving compiler heuristics with machine learning (MS, SPA, MCM, UMO), pp. 77–90.
SACSAC-2003-RaidlJ #algorithm #bound #problem
Greedy Heuristics and an Evolutionary Algorithm for the Bounded-Diameter Minimum Spanning Tree Problem (GRR, BAJ), pp. 747–752.
ICSTSAT-2003-DrakeF #branch #interactive
The Interaction Between Inference and Branching Heuristics (LD, AMF), pp. 370–382.
JCDLJCDL-2002-McDonaldC #rank #using
Using sentence-selection heuristics to rank text segments in TXTRACTOR (DM, HC), pp. 28–35.
FMFME-2002-Burguillo-RialIGN #case study #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
Empirical development of a heuristic evaluation methodology for shared workspace groupware (KB, SG, CG), pp. 96–105.
ICMLICML-2002-ZubekD #learning
Pruning Improves Heuristic Search for Cost-Sensitive Learning (VBZ, TGD), pp. 19–26.
SACSAC-2002-ChadesSC #approach #assessment #problem
A heuristic approach for solving decentralized-POMDP: assessment on the pursuit problem (IC, BS, FC), pp. 57–62.
SACSAC-2002-MathiasCDM #architecture #distributed #metaheuristic #named #optimisation
DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods (ENM, CMdC, FLD, FMM), pp. 870–875.
DATEDATE-2002-FlottesPR #scheduling
A Heuristic for Test Scheduling at System Level (MLF, JP, BR), p. 1124.
DATEDATE-2002-GorenF #finite #named #reduction #state machine
CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines (SG, FJF), pp. 248–254.
PDPPDP-2002-BeaumontBR #scheduling
The Iso-Level Scheduling Heuristic for Heterogeneous Processors (OB, VB, YR), pp. 335–342.
PDPPDP-2002-TripathiG #performance
An Implementational Study of Certain Heuristics for the Performance Enhancements of AODV (SMT, RKG), pp. 395–402.
CADECADE-2002-Tour #symmetry
A Note on Symmetry Heuristics in SEM (TBdlT), pp. 181–194.
ISSTAISSTA-2002-GroceV #java #model checking #source code #using
Model checking Java programs using structural heuristics (AG, WV), pp. 12–21.
ICTSSTestCom-2002-FeijsGMT #distance #testing
Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.
ICDARICDAR-2001-BloombergPM #documentation #image #using
Document Image Decoding Using Iterated Complete Path Search with Subsampled Heuristic Scoring (DSB, KP, TPM), pp. 344–349.
FMFME-2001-BosnackiDH #reduction #symmetry
A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
DACDAC-2001-CarballoD #collaboration #constraints #design
Application of Constraint-Based Heuristics in Collaborative Design (JAC, SWD), pp. 395–400.
DATEDATE-2001-ConstantinidesCL #multi
Heuristic datapath allocation for multiple wordlength systems (GAC, PYKC, WL), pp. 791–797.
STOCSTOC-2001-AryaGKMP #problem
Local search heuristic for k-median and facility location problems (VA, NG, RK, AM, KM, VP), pp. 21–29.
IJCARIJCAR-2001-AudemardH
The eXtended Least Number Heuristic (GA, LH), pp. 427–442.
IJCARIJCAR-2001-GiunchigliaMTZ #optimisation #satisfiability
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (EG, MM, AT, DZ), pp. 347–363.
ICPRICPR-v3-2000-WinkNV #using
Minimum Cost Path Determination Using a Simple Heuristic Function (OW, WJN, MAV), pp. 7010–7013.
SIGIRSIGIR-2000-ZhaiJE #adaptation #approach #learning
Exploration of a heuristic approach to threshold learning in adaptive filtering (CZ, PJ, DAE), pp. 360–362.
SACSAC-2000-CottaT #on the #representation
On the Influence of the Representation Granularity in Heuristic Forma Recombination (CC, JMT), pp. 433–439.
DATEDATE-2000-CordoneFSC #approach #performance #problem
An Efficient Heuristic Approach to Solve the Unate Covering Problem (RC, FF, DS, RWC), pp. 364–371.
DATEDATE-2000-SakallahAS #case study #satisfiability
An Experimental Study of Satisfiability Search Heuristics (KAS, FAA, JPMS), p. 745.
ICLPCL-2000-LimN #approach #documentation #html #xml
A Heuristic Approach for Converting HTML Documents to XML Documents (SJL, YKN), pp. 1182–1196.
CIAAWIA-1999-AmilhastreJV #finite
FA Minimisation Heuristics for a Class of Finite Languages (JA, PJ, MCV), pp. 1–12.
HCIHCI-EI-1999-KurosuSM #case study #comparative #evaluation
A Comparative Study of sHEM (structured heuristic evaluation method) (MK, MS, SM), pp. 938–942.
CAiSECAiSE-1999-PrakashS #modelling #quality
Modelling Method Heuristics for Better Quality Products (NP, RS), pp. 429–433.
ICEISICEIS-1999-CarvalhoCNKKBGB #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 #similarity
Effective Document Presentation with a Locality-Based Similarity Heuristic (OdK, AM), pp. 113–120.
SIGIRSIGIR-1999-PapadiasMKMA #retrieval #using
Content-Based Retrieval Using Heuristic Search (DP, MM, PK, NM, IA), pp. 168–175.
SACSAC-1999-DunningR #estimation #optimisation
A Heuristic Cost Estimation Method for Optimizing Assignment of Tasks to Processors (LAD, SR), pp. 358–364.
SACSAC-1999-Julstrom #permutation
Coding TSP Tours as Permutations via an Insertion Heuristic (BAJ), pp. 297–301.
DACDAC-1999-CaldwellKKM #clustering #development
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting (AEC, ABK, AAK, ILM), pp. 349–354.
ICMLICML-1998-Domingos
A Process-Oriented Heuristic for Model Selection (PMD), pp. 127–135.
ICPRICPR-1998-DuyguluAD #algorithm #documentation #representation
A heuristic algorithm for hierarchical representation of form documents (PD, VA, ED), pp. 929–931.
ICPRICPR-1998-Perez-CortesV
The extended general spacefilling curves heuristic (JCPC, EV), pp. 515–517.
TOOLSTOOLS-USA-1998-AndreattaCR #framework #object-oriented
An Object-Oriented Framework for Local Search Heuristics (AAA, SERC, CCR), pp. 33–45.
SACSAC-1998-Marchiori98a #algorithm #clique #problem #search-based
A simple heuristic based genetic algorithm for the maximum clique problem (EM), pp. 366–373.
ICDARICDAR-1997-BohnackerSY
Matching form lines based on a heuristic search (UB, JS, TY), p. 86–?.
HCIHCI-SEC-1997-LowryHK #bias #evolution #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 #named #retrieval
ARCCHNID: Adaptive Retrieval Agents Choosing Heuristic Neighborhoods (FM), pp. 227–235.
SACSAC-1997-KhuriC #algorithm #problem
Heuristic algorithms for the terminal assignment problem (SK, TC), pp. 247–251.
SACSAC-1997-ShumskyWME #constraints #finite #first-order #generative
Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
DATEEDTC-1997-GovindarajanV #algorithm #clustering
Cone-based clustering heuristic for list-scheduling algorithms (SG, RV), pp. 456–462.
DATEEDTC-1997-LiuS #graph #multi #performance #using
Multi-layer chip-level global routing using an efficient graph-based Steiner tree heuristic (LCEL, CS), pp. 311–318.
PDPPDP-1997-Aguilar #random
Task assignment heuristic based on the random neural model (JA), pp. 13–17.
ICALPICALP-1996-CowenFK #framework #source code
A Formal Framework for Evaluating Heuristic Programs (LC, JF, SK), pp. 634–645.
KDDKDD-1996-IglesiaDR #database #using
Discovering Knowledge in Commercial Databases Using Modern Heuristic Techniques (BdlI, JCWD, VJRS), pp. 44–49.
PLDIPLDI-1996-RuttenbergGLS #compilation #pipes and filters
Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler (JCR, GRG, WL, AS), pp. 1–11.
ICSEICSE-1996-WoodsY #analysis #approach #comprehension #problem
The Program Understanding Problem: Analysis and a Heuristic Approach (SGW, QY), pp. 6–15.
SACSAC-1996-LiuC #algorithm #distributed #query
A heuristic algorithm for partition strategy in distributed query processing (CL, HC), pp. 196–200.
SACSAC-1996-MisirMC #approach #fuzzy
A heuristic approach to determine the gains of a fuzzy PID controller (DM, HAM, GC), pp. 609–613.
DACDAC-1996-TheobaldNW #logic #named
Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic (MT, SMN, TW), pp. 71–76.
CADECADE-1996-Fuchs #experience #proving #using
Experiments in the Heuristic Use of Past Proof Experience (MF), pp. 523–537.
ICDARICDAR-v1-1995-LinLS #comprehension #documentation #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
Lexical postprocessing by heuristic search and automatic determination of the edit costs (AW, SB, JR), pp. 857–860.
CHICHI-1995-Conn #usability
Time Affordances: The Time Factor in Diagnostic Usability Heuristics (APC), pp. 186–193.
ICMLICML-1995-Fuchs #adaptation #learning #parametricity #proving
Learning Proof Heuristics by Adaptive Parameters (MF), pp. 235–243.
KDDKDD-1995-MurthyS #effectiveness #how #induction #question
Decision Tree Induction: How Effective is the Greedy Heuristic? (SKM, SS), pp. 222–227.
SACSAC-1995-AndersonM #diagrams #reasoning
Developing a heuristic via diagrammatic reasoning (MA, RM), pp. 227–231.
SACSAC-1995-HalgamugeBG #algorithm #classification #comparison #generative #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-1995-HagenHK #layout #quantifier
Quantified Suboptimality of VLSI Layout Heuristics (LWH, DJHH, ABK), pp. 216–221.
CHICHI-1994-Nielsen94b #power of #usability
Enhancing the explanatory power of usability heuristics (JN), pp. 152–158.
ICMLICML-1994-Valdes-PerezP #behaviour
A Powerful Heuristic for the Discovery of Complex Patterned Behaviour (REVP, AP), pp. 326–334.
DACDAC-1994-ShipleHSB #using
Heuristic Minimization of BDDs Using Don’t Cares (TRS, RH, ALSV, RKB), pp. 225–231.
HCIHCI-SHI-1993-TrabelsiKN #database #generative #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 #user interface
Heuristics in real user interfaces (BAM, RW, KP, CG), pp. 304–307.
CHIINTERCHI-1993-NielsenP #empirical #interface #usability
Estimating the relative usability of two interfaces: heuristic, formal, and empirical methods compared (JN, VLP), pp. 214–221.
DACDAC-1993-HuangPS #approach #approximate #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 #using
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.
CHICHI-1992-Nielsen #evaluation #problem #usability
Finding usability problems through heuristic evaluation (JN), pp. 373–380.
ICMLML-1992-HoggerB #approach #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 #library #object-oriented #parallel #scalability
An Object-Oriented Class Library for Scalable Parallel Heuristic Search (WCL, VS), pp. 252–267.
DACDAC-1992-Fishburn #logic #named
LATTIS: An Iterative Speedup Heuristic for Mapped Logic (JPF), pp. 488–491.
KDDKDD-1991-WuSO #classification #integration
Integration of Heuristic and Bayesian Approaches in a Pattern-Classification System (QW, PS, AO), pp. 249–260.
ICMLML-1991-Day #csp #learning #problem
Learning Variable Descriptors for Applying Heuristics Across CSP Problems (DSD), pp. 127–131.
PPDPPLILP-1991-KeslerPR #approach #random
A Randomized Heuristic Approach to Register Allocation (CWK, WJP, TR), pp. 195–206.
DACDAC-1991-ButlerRKM #diagrams #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 #scheduling #synthesis
Empirical Evaluation of Some High-Level Synthesis Scheduling Heuristics (RJ, AM, AS, HW), pp. 686–689.
DACDAC-1991-Woo
A Heuristic Method for FPGA Technology Mapping Based on the Edge Visibility (NSW), pp. 248–251.
ICALPICALP-1990-SavageW #clustering #on the
On Parallelizing Graph-Partitioning Heuristics (JES, MGW), pp. 476–489.
CHICHI-1990-NielsenM #evaluation #user interface
Heuristic evaluation of user interfaces (JN, RM), pp. 249–256.
SIGIRSIGIR-1990-Rousseau #approach #question #retrieval
Extended Boolean Retrieval: A Heuristic Approach? (RR), pp. 495–508.
DACDAC-1990-Fishburn #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 #scheduling
Optimum and Heuristic Data Path Scheduling Under Resource Constraints (CTH, YCH, YLL), pp. 65–70.
DACDAC-1990-SaabR #effectiveness #evolution #layout #performance #probability #problem
Stochastic Evolution: a Fast Effective Heuristic for Some Generic Layout Problems (YS, VBR), pp. 26–31.
DACDAC-1990-SinghS #algorithm #problem
A Heuristic Algorithm for the Fanout Problem (KJS, ALSV), pp. 357–360.
CADECADE-1990-SuttnerE #automation
Automatic Acquisition of Search Guiding Heuristics (CBS, WE), pp. 470–484.
SIGMODSIGMOD-1989-Swami #combinator #optimisation #query #scalability
Optimization of Large Join Queries: Combining Heuristic and Combinatorial Techniques (ANS), pp. 367–376.
ICMLML-1989-MostowP #optimisation
Discovering Admissible Search Heuristics by Abstracting and Optimizing (JM, AP), p. 240.
PLDIPLDI-1989-BriggsCKT
Coloring Heuristics for Register Allocation (PB, KDC, KK, LT), pp. 275–284.
PLDIBest-of-PLDI-1989-BriggsCKT89a
Coloring heuristics for register allocation (with retrospective) (PB, KDC, KK, LT), pp. 283–294.
DACDAC-1989-SherwaniD #problem
A New Heuristic for Single Row Routing Problems (NAS, JSD), pp. 167–172.
ICSEICSE-1988-HuangZC #algorithm #clustering #distributed #realtime
Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications (XH, HZ, XC), pp. 116–121.
DACDAC-1988-Pangre #approach #named
Splicer: A Heuristic Approach to Connectivity Binding (BMP), pp. 536–541.
PPoPPPPEALS-1988-StrammB #algorithm #compilation
Communication-Sensitive Heuristics and Algorithms for Mapping Compilers (BS, FB), pp. 222–234.
ICLPJICSCP-1988-Abdallah88 #logic #process
Heuristic Logic and the Process of Discovery (MANA), pp. 859–875.
ICALPICALP-1987-LevcopoulosLS #geometry
Nearly Optimal Heuristics for Binary Search Trees with Geometric Generalizations (CL, AL, JRS), pp. 376–385.
DACDAC-1987-Forbes
Heuristic Acceleration of Force-Directed Placement (RF), pp. 735–740.
DACDAC-1987-MinaiWB #approach #evaluation #predict
A Discrete Heuristics Approach to Predictive Evaluation of Semi-Custom IC Layouts (AAM, RDW, FWB), pp. 770–776.
DACDAC-1986-BarclayA #algorithm #generative #testing
A heuristic chip-level test generation algorithm (DSB, JRA), pp. 257–262.
DACDAC-1986-Coppola #implementation
An implementation of a state assignment heuristic (AJC), pp. 643–649.
DACDAC-1986-PatelP #automation #effectiveness #generative #metric
Effectiveness of heuristics measures for automatic test pattern generation (SJP, JHP), pp. 547–552.
CADECADE-1986-Lim
The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
CADECADE-1986-OppacherS #deduction #proving
Controlling Deduction with Proof Condensation and Heuristics (FO, ES), pp. 384–393.
DACDAC-1985-KuoCH #algorithm
A heuristic algorithm for PLA block folding (YSK, CC, TCH), pp. 744–747.
DACDAC-1983-CohoonS #problem
Heuristics for the Circuit Realization Problem (JC, SS), pp. 560–566.
DACDAC-1983-Vida-TorkuH #generative #petri net #testing
Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.
VLDBVLDB-1982-Chang #approach #distributed #query
A Heuristic Approach to Distributed Query Processing (JMC), pp. 54–61.
DACDAC-1982-FiducciaM #linear #network
A linear-time heuristic for improving network partitions (CMF, RMM), pp. 175–181.
STOCSTOC-1980-SupowitPR
Heuristics for Weighted Perfect Matching (KJS, DAP, EMR), pp. 398–419.
SIGMODSIGMOD-1979-HammerN #approach #clustering
A Heuristic Approach to Attribute Partitioning (MH, BN), pp. 93–101.
DACDAC-1977-Strebendt #algorithm #generative
Heuristic enhancement of an algorithmic test generator (RES), pp. 84–87.
DACDAC-1975-YoshizawaKK #array
A heuristic procedure for ordering MOS arrays (HY, HK, KK), pp. 384–393.
DACDAC-1974-ArimaTAO #algorithm #generative #testing
A new heuristic test generation algorithm for sequential circuits (TA, MT, GA, JO), pp. 169–176.
DACDAC-1970-SmithT #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.