35 papers:
DAC-2015-VenkataramaniCR #approximate #performance- Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
VLDB-2014-DuttNH #approach #named #query #robust- QUEST: An Exploratory Approach to Robust Query Processing (AD, SN, JRH), pp. 1585–1588.
LICS-CSL-2014-Khoussainov #infinity #random- A quest for algorithmically random infinite structures (BK), p. 9.
- VLDB-2013-BergamaschiGILV #data-driven #database #keyword #machine learning #named #relational #semantics
- QUEST: A Keyword Search System for Relational Data based on Semantic and Machine Learning Techniques (SB, FG, MI, RTL, YV), pp. 1222–1225.
TACAS-2013-EisentrautHST0 #automaton #probability- The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.
HIMI-D-2013-NitscheN13a #named #query- QUEST: Querying Complex Information by Direct Manipulation (MN, AN), pp. 240–249.
RE-2012-GotelCHZEGA #research #roadmap #traceability- The quest for Ubiquity: A roadmap for software and systems traceability research (OG, JCH, JHH, AZ, AE, PG, GA), pp. 71–80.
PODS-2011-DeutchM #database #process #research- A quest for beauty and wealth (or, business processes for database researchers) (DD, TM), pp. 1–12.
- TACAS-2011-KupferschmidW #abstraction #database
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (SK, MW), pp. 276–290.
ICSM-2010-GuzziPD #developer #ide #interactive- Combining micro-blogging and IDE interactions to support developers in their quests (AG, MP, AvD), pp. 1–5.
ICPR-2010-KoniuszM #image #on the #segmentation- On a Quest for Image Descriptors Based on Unsupervised Segmentation Maps (PK, KM), pp. 762–765.
- HCD-2009-Blasko-DrabikBB #game studies #physics #testing #usability
- Combining Fast-Paced Usability and Scientific Testing to Improve the Lunar Quest Physics Game (HBD, JB, CAB), pp. 23–26.
- HCI-VAD-2009-LeeC #game studies #information management #online
- The Effects of Quest Types and Gaming Motivations on Players’ Knowledge Acquisitions in an Online Role-Playing Game Environment (JL, CYC), pp. 353–358.
HPDC-2009-RaicuFZLMCT #data-driven #distributed #scalability- The quest for scalable support of data-intensive workloads in distributed systems (IR, ITF, YZ, PL, CM, AC, DT), pp. 207–216.
- LICS-2009-Clarke #explosion #problem
- My 27-year Quest to Overcome the State Explosion Problem (EMC), p. 3.
CAiSE-2008-VanderfeestenRMAC #metric #modelling #on the #process- On a Quest for Good Process Models: The Cross-Connectivity Metric (ITPV, HAR, JM, WMPvdA, JC), pp. 480–494.
CSL-2008-BlanquiJR #order- The Computability Path Ordering: The End of a Quest (FB, JPJ, AR), pp. 1–14.
- LICS-2008-Grohe #logic
- The Quest for a Logic Capturing PTIME (MG), pp. 267–271.
DATE-2007-BabighianKV #data mining #interactive #mining #optimisation- Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.
SIGMOD-2007-QiCSK #query #taxonomy- Integrating and querying taxonomies with quest in the presence of conflicts (YQ, KSC, MLS, KWK), pp. 1153–1155.
- VLDB-2006-ChenMGFW #named #ontology
- OntoQuest: Exploring Ontological Data Made Easy (LC, MEM, AG, LF, MWB), pp. 1183–1186.
ECOOP-2006-Lieberman #abstraction- The Continuing Quest for Abstraction (HL), pp. 192–197.
AMOST-J-2005-Paradkar06 #case study #detection #effectiveness #fault #generative #modelling #testing- A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques (AMP), pp. 949–959.
LSO-2005-SmolanderOJ- Local Software Organizations with Global Customers: a Survival Quest (KS, PO, PJ), pp. 57–61.
CIKM-2004-Rigoutsos- Of parts and relationships: an unending quest (IR), p. 250.
ESEC-FSE-2003-Osterweil #comprehension #process #re-engineering #research- Understanding process and the quest for deeper questions in software engineering research (LJO), pp. 6–14.
ICALP-2002-Ollinger #automaton- The Quest for Small Universal Cellular Automata (NO), pp. 318–329.
CADE-2002-ZhangM #performance #satisfiability- The Quest for Efficient Boolean Satisfiability Solvers (LZ, SM), pp. 295–313.
CAV-2002-ZhangM #performance #satisfiability- The Quest for Efficient Boolean Satisfiability Solvers (LZ, SM), pp. 17–36.
FM-1998-Slotosch #bibliography #named- QUEST: Overview over the Project (OS), pp. 346–350.
KDD-1996-AgrawalMSSAB #data mining #mining- The Quest Data Mining System (RA, MM, JCS, RS, AA, TB), pp. 244–249.
- SIGMOD-1994-AgrawalCFGHIIMMSS #database #mining #named
- Quest: A Project on Database Mining (RA, MJC, CF, SPG, MAWH, TI, BRI, AM, HM, RS, ANS), p. 514.
- LICS-1991-AlessiB #semantics #towards
- Towards a Semantics for the QUEST Language (FA, FB), pp. 12–21.
LFP-1990-CardelliL #semantics- A Semantic Basis for Quest (LC, GL), pp. 30–43.
- VLDB-1979-Santos #semantics
- The Quest for Comprehensive Semantic Formalisms (CSdS), pp. 83–84.
