2088 search results - page 92 / 418 » The Probabilistic Method |
108
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
112
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
112
Voted
SAC
2010
ACM
14 years 7 months ago
2010
ACM
The label switching problem is caused by the likelihood of a Bayesian mixture model being invariant to permutations of the labels. The permutation can change multiple times betwee...
103
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
120
click to vote
CVPR
1998
IEEE
16 years 2 months ago
1998
IEEE
We introduce in this paper two probabilistic reasoning models (PRM-1 and PRM-2) which combine the Principal Component Analysis (PCA) technique and the Bayes classifier and show th...