10715 search results - page 213 / 2143 » Proofs from Tests |
145
Voted
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Suppose one has access to oracles generating samples from two unknown probability distributions p and q on some N-element set. How many samples does one need to test whet...
153
click to vote
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
122
Voted
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
123
Voted
IPSN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The issue of data association arises frequently in sensor networks; whenever multiple sensors and sources are present, it may be necessary to determine which observations...
138
Voted
ATS
2004
IEEE
15 years 7 months ago
2004
IEEE
Logical reversibility occurs in low-power applications and is an essential feature of quantum circuits. Of special interest are reversible circuits constructed from a class of rev...