Sciweavers

4670 search results - page 103 / 934
» Testing that distributions are close
Sort
View
CORR
2010
Springer
160views Education» more  CORR 2010»
15 years 25 days ago
New Results on Quantum Property Testing
We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we consider probability d...
Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...
JSSPP
2009
Springer
15 years 7 months ago
Scheduling Restartable Jobs with Short Test Runs
In this paper, we examine the concept of giving every job a trial run before committing it to run until completion. Trial runs allow immediate job failures to be detected shortly a...
Ojaswirajanya Thebe, David P. Bunde, Vitus J. Leun...
126
Voted
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 6 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
AIME
2009
Springer
15 years 4 months ago
Data-Efficient Information-Theoretic Test Selection
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
Marianne Mueller, Rómer Rosales, Harald Ste...
BMCBI
2004
100views more  BMCBI 2004»
15 years 18 days ago
Handling multiple testing while interpreting microarrays with the Gene Ontology Database
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
Michael V. Osier, Hongyu Zhao, Kei-Hoi Cheung