2610 search results - page 461 / 522 » Computational Probabilistic Non-interference |
110
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
125
click to vote
CVIU
2008
15 years 2 months ago
2008
In this paper, we present an efficient and robust algorithm for shape matching, registration, and detection. The task is to geometrically transform a source shape to fit a target ...
128
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
128
Voted
CVIU
2006
15 years 2 months ago
2006
Vision-based tracking is a basic elementary task in many computer vision-based applications such as video surveillance and monitoring, sensing and navigation in robotics, video co...
136
click to vote
CVIU
2006
15 years 2 months ago
2006
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...