Sciweavers

10275 search results - page 153 / 2055
» Case Studies of Autonomy
Sort
View
CHI
2007
ACM
16 years 5 months ago
Minimizing modality bias when exploring input preferences for multimodal systems in new domains: the archivus case study
In this paper we discuss the problems faced when trying to design an evaluation protocol for a multimodal system using novel input modalities and in a new domain. In particular, w...
Agnes Lisowska, Martin Rajman, Mireille Bét...
POPL
2008
ACM
16 years 5 months ago
Formal verification of translation validators: a case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
Jean-Baptiste Tristan, Xavier Leroy
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 5 months ago
Focused iterative testing: a test automation case study
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
Mechelle Gittens, Pramod Gupta, David Godwin, Hebe...
138
Voted
EDBT
2002
ACM
130views Database» more  EDBT 2002»
16 years 5 months ago
Gene Expression Data Management: A Case Study
One of the major challenges facing scientists dealing with gene expression data is how to integrate, explore and analyze vast quantities of related data, often residing in multiple...
Victor M. Markowitz, I-Min A. Chen, Anthony Kosky