362 search results - page 22 / 73 » A Theory of Probabilistic Functional Testing |
123
Voted
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
134
Voted
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
Much work has been done in the field of visual object tracking, yielding a wide range of trackers, including ones aimed for multiple objects. In many cases, there may be a couplin...
106
Voted
ENTCS
2007
15 years 1 months ago
2007
In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of Type-2 T...
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Recent large scale experiments have shown that the Normalized Information Distance, an algorithmic information measure, is among the best similarity metrics for melody classiï¬...
152
Voted
BIBM
2010
IEEE
14 years 12 months ago
2010
IEEE
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...