2610 search results - page 135 / 522 » Computational Probabilistic Non-interference |
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
CVPR
1998
IEEE
15 years 5 days ago
1998
IEEE
This paper describes the derivation of probability of correctness from scores assigned by most recognizers. Motivation for this research is three-fold: i probability values can be...
CVPR
2005
IEEE
15 years 5 days ago
2005
IEEE
This paper presents an online learning algorithm to construct from video sequences an image-based representation that is useful for recognition and tracking. For a class of object...
ICCV
2005
IEEE
15 years 2 days ago
2005
IEEE
In this paper, we address the issue of extracting contour of the object with a specific shape. A hierarchical graphical model is proposed to represent shape variations. A complex ...
ECCV
2002
Springer
15 years 22 hour ago
2002
Springer
Abstract. We present a new approach to modeling and processing multimedia data. This approach is based on graphical models that combine audio and video variables. We demonstrate it...