247 search results - page 21 / 50 » Perspectives in Probabilistic Verification |
AI
2005
Springer
13 years 9 months ago
2005
Springer
The paper provides a unifying perspective of tree-decomposition algorithms appearing in various automated reasoning areas such as join-tree clustering for constraint-satisfaction ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
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...
DAC
2007
ACM
14 years 1 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...