967 search results - page 158 / 194 » On the efficiency of adaptive MCMC algorithms |
123
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
113
click to vote
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
Visual tracking is a challenging problem, as an object may change its appearance due to pose variations, illumination changes, and occlusions. Many algorithms have been proposed t...
176
click to vote
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
Detection of visually salient image regions is useful for applications like object segmentation, adaptive compression, and object recognition. Recently, full-resolution salient ma...
112
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
An adaptive spatiotemporal saliency algorithm for video attention detection using motion vector decision is proposed, motivated by the importance of motion information in video se...
113
click to vote
CEC
2010
IEEE
14 years 3 months ago
2010
IEEE
—Mobile cooperative sensor networks are increasingly used for surveillance and reconnaissance tasks to support domain picture compilation. However, efficient distributed informat...