Sciweavers

347 search results - page 37 / 70
» Learning from examples to improve code completion systems
Sort
View
SIGIR
1997
ACM
13 years 12 months ago
Learning Routing Queries in a Query Zone
Word usage is domain dependent. A common word in one domain can be quite infrequent in another. In this study we exploit this property of word usage to improve document routing. W...
Amit Singhal, Mandar Mitra, Chris Buckley
CHI
2007
ACM
14 years 8 months ago
Vio: a mixed-initiative approach to learning and automating procedural update tasks
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
John Zimmerman, Anthony Tomasic, Isaac Simmons, Ia...
SAFECOMP
2001
Springer
14 years 3 days ago
Designing Safety into Medical Decisions and Clinical Processes
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
John Fox
ENTCS
2007
128views more  ENTCS 2007»
13 years 7 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
FATES
2003
Springer
14 years 27 days ago
Auto-generating Test Sequences Using Model Checkers: A Case Study
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...