1056 search results - page 38 / 212 » A Probabilistic Applied Pi-Calculus |
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
ACSC
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we present several general policies for deciding when to share probabilistic beliefs between agents for distributed monitoring. In order to evaluate these policies,...
VLDB
1999
ACM
14 years 1 months ago
1999
ACM
The problem of nding the best answers to a query quickly, rather than nding all answers, is of increasing importance as relational databases are applied in multimedia and decision...
ICLP
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
MVA
2007
13 years 10 months ago
2007
Applying computer vision technology to IR (Infra-Red) images for UAV (Unmanned Aerial Vehicle) applications is difficult due to its characteristics which differ from common image ...