243 search results - page 26 / 49 » A General Approach to Removing Degeneracies |
130
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
113
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
The accurate localization of facial features plays a fundamental
role in any face recognition pipeline. Constrained
local models (CLM) provide an effective approach to localizati...
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
This paper presents a novel feature-matching based approach for rigid object tracking. The proposed method models the tracking problem as discovering the affine transforms of obje...
110
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a new model to overcome the occlusion problems coming from wide baseline multiple camera stereo. Rather than explicitly modeling occlusions in the matching cos...
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
Motion-compensated temporal wavelet decomposition is a useful framework for fully scalable video compression schemes. In this paper we propose a new approach to reduce the ghostin...