2610 search results - page 117 / 522 » Computational Probabilistic Non-interference |
CMSB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
BNCOD
2008
13 years 11 months ago
2008
Abstract. The problem of dealing with inconsistent data while integrating XML data from different sources is an important task, necessary to improve data integration quality. Typic...
FCS
2006
13 years 11 months ago
2006
Probabilistic (or randomized) decision trees can be used to compute Boolean functions. We consider two types of probabilistic decision trees - one has a certain probability to give...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a novel probabilistic framework for learning
visual models of 3D object categories by combining appearance
information and geometric constraints. Objects are
represen...
CVPR
1999
IEEE
15 years 4 days ago
1999
IEEE
This paper addresses the problem of probabilistic recognition of activities from local spatio-temporal appearance. Joint statistics of space-time filters are employed to define hi...