Sciweavers

98 search results - page 13 / 20
» Probabilistic Verification for
Sort
View
WWW
2009
ACM
15 years 4 months ago
A probabilistic model based approach for blended search
In this paper, we propose to model the blended search problem by assuming conditional dependencies among queries, VSEs and search results. The probability distributions of this mo...
Ning Liu, Jun Yan, Zheng Chen
NIPS
2001
14 years 11 months ago
Probabilistic principles in unsupervised learning of visual structure: human data and a model
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
Shimon Edelman, Benjamin P. Hiles, Hwajin Yang, Na...
100
Voted
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 1 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ICASSP
2011
IEEE
14 years 1 months ago
Recent progress in prosodic speaker verification
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...
Marcel Kockmann, Luciana Ferrer, Lukas Burget, Eli...
ICASSP
2011
IEEE
14 years 1 months ago
Well-calibrated heavy tailed Bayesian speaker verification for microphone speech
The work presented in this paper is an extension of our two previous works [1, 2]. In the first paper [1], we proposed a low dimensional feature (i-vectors) extractor which is su...
Mohammed Senoussaoui, Patrick Kenny, Pierre Dumouc...