247 search results - page 34 / 50 » Perspectives in Probabilistic Verification |
QEST
2010
IEEE
13 years 7 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
AAAI
2010
13 years 10 months ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
ECCV
2000
Springer
14 years 11 months ago
2000
Springer
A probabilistic method for tracking 3D articulated human figures in monocular image sequences is presented. Within a Bayesian framework, we define a generative model of image appea...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper suggests using discrete feature displacements and optical flow simultaneously to determine the camera motion and its velocity. This is advantageous when the number of ...