1056 search results - page 49 / 212 » A Probabilistic Applied Pi-Calculus |
IJCAI
2007
13 years 10 months ago
2007
Constraint Satisfaction Problems (CSPs) are ubiquitous in Artificial Intelligence. The backtrack algorithms that maintain some local consistency during search have become the de ...
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose an original probabilistic parameter-free method for the detection of independently moving objects in an image sequence. We apply a probabilistic perceptual principle, t...
KIVS
2009
Springer
14 years 3 months ago
2009
Springer
In the context of large decentralized many-to-many communication systems it is impractical to provide realistic and hard bounds for certain QoS metrics including latency bounds. Ne...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— A new hybrid motion planning technique based on Harmonic Functions (HF) and Probabilistic Roadmaps (PRM) is presented. The proposed approach consists of incrementally building ...