Sciweavers

482 search results - page 73 / 97
» Semi-Markov Models for Sequence Segmentation
Sort
View
ICIP
2006
IEEE
16 years 22 days 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 4 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 4 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 5 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 4 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...