Sciweavers

713 search results - page 54 / 143
» Reasoning with Projected Contours
Sort
View
ACCV
2006
Springer
14 years 3 months ago
Multiregion Level Set Tracking with Transformation Invariant Shape Priors
Tracking of regions and object boundaries in an image sequence is a well studied problem in image processing and computer vision. So far, numerous approaches tracking different fea...
Michael Fussenegger, Rachid Deriche, Axel Pinz
ICPR
2000
IEEE
14 years 17 days ago
Eigenfiltering for Flexible Eigentracking (EFE)
Traditional techniques for tracking non-rigid objects such as optical flow, correlation, active contours or color, can not deal with situations where image changes are not due to ...
Fernando De la Torre, Javier Melenchón, Jor...
CVIU
2006
110views more  CVIU 2006»
13 years 9 months ago
Viewpoint invariant exemplar-based 3D human tracking
This paper proposes a clustered exemplar-based model for performing viewpoint invariant tracking of the 3D motion of a human subject from a single camera. Each exemplar is associa...
Eng-Jon Ong, Antonio S. Micilotta, Richard Bowden,...
CVPR
2012
IEEE
11 years 11 months ago
Shape, albedo, and illumination from a single image of an unknown object
We address the problem of recovering shape, albedo, and illumination from a single grayscale image of an object, using shading as our primary cue. Because this problem is fundamen...
Jonathan T. Barron, Jitendra Malik
CADE
2008
Springer
14 years 9 months ago
Bitfields and Tagged Unions in C: Verification through Automatic Generation
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
David Cock