1596 search results - page 104 / 320 » Quantum property testing |
103
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
107
click to vote
AAAI
2012
13 years 3 months ago
2012
We examine designs for crowdsourcing contests, where participants compete for rewards given to superior solutions of a task. We theoretically analyze tradeoffs between the expecta...
ICML
2004
IEEE
16 years 1 months ago
2004
IEEE
We propose a simple, novel and yet effective method for building and testing decision trees that minimizes the sum of the misclassification and test costs. More specifically, we f...
91
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
109
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...