Sciweavers

3760 search results - page 489 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ICASSP
2011
IEEE
14 years 8 months ago
Full-covariance UBM and heavy-tailed PLDA in i-vector speaker verification
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
Pavel Matejka, Ondrej Glembek, Fabio Castaldo, M. ...
ICLA
2011
Springer
14 years 8 months ago
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
Ernst-Erich Doberkat
ALDT
2011
Springer
262views Algorithms» more  ALDT 2011»
14 years 4 months ago
Learning Complex Concepts Using Crowdsourcing: A Bayesian Approach
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...
Paolo Viappiani, Sandra Zilles, Howard J. Hamilton...
ICDAR
2011
IEEE
14 years 4 months ago
Evaluating the Rarity of Handwriting Formations
—Identifying unusual or unique characteristics of an observed sample in useful in forensics in general and handwriting analysis in particular. Rarity is formulated as the probabi...
Sargur N. Srihari
SRDS
1999
IEEE
15 years 8 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm