400 search results - page 32 / 80 » Moving Proofs-As-Programs into Practice |
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We examine the problem of segmenting tracked feature point trajectories of multiple moving objects in an image sequence. Using the affine camera model, this motion segmentation pr...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Lambert's model is widely used in low level computer vision algorithms such as matching, tracking or optical flow computation for example. However, it is well known that thes...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We present an evaluation methodology and data for large scale video-based 3D reconstruction. We evaluate the effects of several parameters and draw conclusions that can be useful ...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
In many cases self-calibration is not able to yield a unique solution for the 3D reconstruction of a scene. This is due to the occurrence of critical motion sequences. If this is ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. Many interesting problems in computer vision can be formulated as a minimization problem for an energy functional. If this functional is given as an integral of a scalar-...