35 papers:
- ECSA-2015-RostWNLS #agile #architecture #case study #development #experience #industrial
- Distilling Best Practices for Agile Development from Architecture Methodology — Experiences from Industrial Application (DR, BW, MN, TL, HS), pp. 259–267.
- HT-2015-ChongDL #code review
- Did You Expect Your Users to Say This?: Distilling Unexpected Micro-reviews for Venue Owners (WHC, BTD, EPL), pp. 13–22.
- ICFP-2014-AccattoliBM #automaton
- Distilling abstract machines (BA, PB, DM), pp. 363–376.
- CIKM-2014-KuzeyVW #fresh look #knowledge base
- A Fresh Look on Knowledge Bases: Distilling Named Events from News (EK, JV, GW), pp. 1689–1698.
- PPDP-2014-Ilik #continuation #normalisation #proving #tutorial
- Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
- PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum #tutorial
- On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial) (JK), pp. 105–110.
- PPDP-2014-LammelVLSF #declarative #development #tutorial
- Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
- PPDP-2014-NilssonP #declarative #game studies #programming #tutorial
- Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
- FSE-2014-AlvesSK #bibliography #code review #named #refactoring
- RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits (ELGA, MS, MK), pp. 751–754.
- ICSE-2014-ThomasBPN #mobile #privacy #requirements
- Distilling privacy requirements for mobile applications (KT, AKB, BAP, BN), pp. 871–882.
- DAC-2013-YinQ #security
- Improving PUF security with regression-based distiller (CEDY, GQ), p. 6.
- WCRE-2013-XingXJ #difference
- Distilling useful clones by contextual differencing (ZX, YX, SJ), pp. 102–111.
- WRLA-2012-LucanuSR #framework #𝕂
- 𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.
- PEPM-2012-HamiltonJ #lts
- Distillation with labelled transition systems (GWH, NDJ), pp. 15–24.
- SIGIR-2012-CastelliRFHLR #corpus
- Distilling and exploring nuggets from a corpus (VC, HR, RF, DJH, XL, SR), p. 1006.
- SIGIR-2011-GaoZLLW #feedback #learning
- Learning features through feedback for blog distillation (DG, RZ, WL, RYKL, KFW), pp. 1085–1086.
- HCI-VAD-2009-GreefON
- Distilling Support Opportunities to Improve Urban Search and Rescue Missions (TdG, AHJO, MAN), pp. 703–712.
- SIGIR-2009-KeikhaCC #random #using
- Blog distillation using random walks (MK, MJC, FC), pp. 638–639.
- CIKM-2008-MacdonaldO #ranking
- Key blog distillation: ranking aggregates (CM, IO), pp. 1043–1052.
- SIGIR-2008-BalogRW #modelling #retrieval #using
- Bloggers as experts: feed distillation using expert retrieval models (KB, MdR, WW), pp. 753–754.
- PEPM-2007-Hamilton #named #source code
- Distillation: extracting the essence of programs (GWH), pp. 61–70.
- SIGIR-2007-YangLLHKR #documentation
- Utility-based information distillation over temporally sequenced documents (YY, AL, NL, AH, BK, MR), pp. 31–38.
- COCV-2007-Hamilton #source code #verification
- Distilling Programs for Verification (GWH), pp. 17–32.
- HPCA-2007-QureshiSP #capacity #word
- Line Distillation: Increasing Cache Capacity by Filtering Unused Words in Cache Lines (MKQ, MAS, YNP), pp. 250–259.
- MLDM-2005-KotsiantisTRP #modelling
- Modeling the Organoleptic Properties of Matured Wine Distillates (SBK, GET, CR, PEP), pp. 667–673.
- SIGIR-2004-PlachourasO #topic
- Usefulness of hyperlink structure for query-biased topic distillation (VP, IO), pp. 448–455.
- SIGIR-2004-WuMMTWLLB #topic
- Human versus machine in the topic distillation task (MW, GM, AM, MC(T, RW, YL, HJL, NJB), pp. 385–392.
- ICML-2003-WinnerV #learning #named
- DISTILL: Learning Domain-Specific Planners by Example (EW, MMV), pp. 800–807.
- SIGIR-2003-ChoiK #concept #topic #using
- Topic distillation using hierarchy concept tree (IC, MK), pp. 371–372.
- CHI-2002-QuintanaKS #case study #guidelines
- A Case Study to Distill Structural Scaffolding Guidelines for Scaffolded Software Environments (CQ, JK, ES), pp. 81–88.
- ICEIS-2002-CesareLP #modelling #research #uml
- Business Modelling with UML: Distilling Directions for Future Research (SdC, ML, DP), pp. 570–579.
- SIGIR-2001-ChakrabartiJT #topic #using
- Enhanced Topic Distillation Using Text, Markup Tags, and Hyperlinks (SC, MJ, VT), pp. 208–216.
- SIGIR-1998-BharatH #algorithm #topic
- Improved Algorithms for Topic Distillation in a Hyperlinked Environment (KB, MRH), pp. 104–111.
- ASPLOS-1996-FoxGBA #adaptation #network #on-demand #variability
- Adapting to Network and Client Variability via On-Demand Dynamic Distillation (AF, SDG, EAB, EA), pp. 160–170.
- ICML-1995-EngelsonK #reliability
- Distilling Reliable Information From Unreliable Theories (SPE, MK), pp. 218–225.