243 search results - page 26 / 49 » A General Approach to Removing Degeneracies |
POPL
2011
ACM
13 years 20 days 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...
CVPR
2009
IEEE
15 years 5 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
14 years 12 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...
CVPR
2005
IEEE
14 years 12 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
14 years 11 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...