21 search results - page 1 / 5 » Retaining the Probabilities in Probabilistic Testing Theory |
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Identification of defective members of large populations has been widely studied in the statistics community under the name of group testing. It involves grouping subsets of items...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
— We present a probabilistic fault model that allows any number of gates in an integrated circuit to fail probabilistically. Tests for this fault model, determined using the theo...
SIGIR
1995
ACM
13 years 8 months ago
1995
ACM
We analyse the kinematics of probabilistic term weights at retrieval time for di erent Information Retrieval models. We present four models based on di erent notions of probabilis...
ESOP
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...