6941 search results - page 298 / 1389 » Testing as a Certification Approach |
AAAI
2011
12 years 8 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
CLEF
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
BMCBI
2010
13 years 8 months ago
2010
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...