19 search results - page 2 / 4 » Probabilistic Verification of Multiple-Valued Functions |
ICPR
2006
IEEE
14 years 6 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...
FMCAD
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
WACV
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or ...
SSDBM
2008
IEEE
13 years 11 months ago
2008
IEEE
Applications requiring the handling of uncertain data have led to the development of database management systems extending the scope of relational databases to include uncertain (p...
IJRR
2010
13 years 2 months ago
2010
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...