2834 search results - page 5 / 567 » A Probabilistic Approach to Measuring Robustness in Computin... |
FMCO
2006
Springer
13 years 10 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
ECCV
2004
Springer
14 years 9 days ago
2004
Springer
This paper deals with the computation of optical flow and occlusion detection in the case of large displacements. We propose a Bayesian approach to the optical flow problem and s...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
The covariance region descriptor recently proposed in [1] has been proved robust and versatile for a modest computational cost. The covariance matrix enables efficient fusion of d...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...