2610 search results - page 461 / 522 » Computational Probabilistic Non-interference |
94
Voted
CORR
2010
Springer
15 years 19 days 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 ...
104
Voted
CVIU
2008
15 years 19 days 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 ...
116
Voted
CORR
2006
Springer
15 years 18 days 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...
112
Voted
CVIU
2006
15 years 18 days 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...
117
Voted
CVIU
2006
15 years 18 days 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...