6800 search results - page 330 / 1360 » Testing with Functions as Specifications |
211
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
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...
207
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: We present a general approach to perform association analyses in pedigrees of arbitrary size and structure, which also allows for a mixture of pedigree members and ind...
242
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper describes a new methodology and associated theoretical analysis for rapid and accurate extraction of activation regions from functional MRI data. Most fMRI data analysi...
205
click to vote
AMMA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present Turing Trade, a web-based game that is a hybrid of a Turing test and a prediction market. In this game, there is a mystery conversation partner, the “target,...
206
click to vote
WOSP
2004
ACM
16 years 22 days ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...