8828 search results - page 1443 / 1766 » Formal methods in practice |
180
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Practically all existing approaches to structure and motion computation use only positive image correspondences to verify the camera pose hypotheses. Incorrect epipolar geometries...
184
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper breaks with the common practice of using a joint state space representation and performing the joint data association in multi-object tracking. Instead, we present an i...
162
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Recently, the optimal distance measure for a given object discrimination task under the nearest neighbor framework was derived [1]. For ease of implementation and efficiency consi...
164
click to vote
ECCV
2004
Springer
16 years 8 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-...
153
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We study the multi-frame structure from motion problem when the camera translates on a plane with small baselines and arbitrary rotations. This case shows up in many practical appl...