98 search results - page 4 / 20 » Probabilistic Verification for |
165
click to vote
ANTSW
2010
Springer
15 years 1 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...
143
click to vote
ICASSP
2011
IEEE
14 years 7 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...
128
Voted
DC
2000
15 years 3 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...
109
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE