1056 search results - page 40 / 212 » A Probabilistic Applied Pi-Calculus |
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Correspondence algorithms typically struggle with shapes that display part-based variation. We present a probabilistic approach that matches shapes using independent part transfor...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
This work presents a novel people tracking approach, able to cope with frequent shape changes and large occlusions. In particular, the tracks are described by means of probabilist...
MICCAI
2003
Springer
14 years 10 months ago
2003
Springer
Abstract. This paper proposes a statistical model of functional landmarks delimiting low level visual areas which are highly variable across individuals. Low level visual areas are...
ICCD
2008
IEEE
14 years 6 months ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...