219 search results - page 25 / 44 » On the Optimization Criteria Used in Two-View Motion Analysi... |
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
SCIA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
CVPR
2006
IEEE
16 years 6 hour ago
2006
IEEE
This paper addresses the problem of reconstructing the density of a scene from multiple projection images produced by modalities such as x-ray, electron microscopy, etc. where an ...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Block based motion compensation techniques are commonly used in video encoding to reduce the temporal redundancy of the signal. In these techniques, each block in a video frame...
136
click to vote
SCVMA
2004
Springer
15 years 3 months ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...