2702 search results - page 461 / 541 » Practically Applicable Formal Methods |
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
The detection and tracking of three-dimensional human body models has progressed rapidly but successful approaches typically rely on accurate foreground silhouettes obtained using...
ECCV
2002
Springer
14 years 10 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...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
We show how the symmetry of motion can be extracted by using the Generalised Symmetry Operator for analysing motion and for gait recognition. This operator, rather than relying on...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper proposes a search method for detecting known objects quickly in 3D environments with a pan-tilt-zoom camera. In our previous work, we proposed an algorithm named Active...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
Existing methods for prediction in spatio-temporal databases assume that objects move according to linear functions. This severely limits their applicability, since in practice mo...