31 search results - page 1 / 7 » State space exploration using feedback constraint generation... |
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ICCV
2001
IEEE
14 years 6 months ago
2001
IEEE
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
ECCV
2008
Springer
14 years 6 months ago
2008
Springer
Abstract. We propose a novel tracking algorithm based on the WangLandau Monte Carlo sampling method which efficiently deals with the abrupt motions. Abrupt motions could cause conv...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
We propose a novel tracking algorithm based on the Wang-Landau Monte Carlo sampling method which efficiently deals with the abrupt motions. Abrupt motions could cause conventional ...
IJCV
2008
13 years 4 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...