Sciweavers

482 search results - page 73 / 97
» Semi-Markov Models for Sequence Segmentation
Sort
View
ICIP
2006
IEEE
16 years 5 months ago
Light and Fast Statistical Motion Detection Method Based on Ergodic Model
In this paper, we propose a light and fast pixel-based statistical motion detection method based on a background subtraction procedure. The statistical representation of the backg...
Pierre-Marc Jodoin, Max Mignotte, Janusz Konrad
ICCV
2005
IEEE
15 years 9 months ago
Automatic 3D Face Modeling from Video
In this paper, we develop an efficient technique for fully automatic recovery of accurate 3D face shape from videos captured by a low cost camera. The method is designed to work ...
Le Xin, Qiang Wang, Jianhua Tao, Xiaoou Tang, Tien...
TACAS
2005
Springer
121views Algorithms» more  TACAS 2005»
15 years 9 months ago
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
Curtis W. Keller, Diptikalyan Saha, Samik Basu, Sc...
CCA
2009
Springer
15 years 10 months ago
Separations of Non-monotonic Randomness Notions
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...
Laurent Bienvenu, Rupert Hölzl, Thorsten Kr&a...
ECCV
2010
Springer
15 years 9 months ago
Stacked Hierarchical Labeling
In this work we propose a hierarchical approach for labeling semantic objects and regions in scenes. Our approach is reminiscent of early vision literature in that we use a decompo...