98 search results - page 4 / 20 » Probabilistic Verification for |
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...
DC
2000
13 years 7 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE