2648 search results - page 457 / 530 » Tracking of Rotating Objects |
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
AVSS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we aim to achieve scalability and wider scene coverage through the use of multiple cameras in an outdoor visual surveillance system. Only image-based information is...
ICAT
2003
IEEE
14 years 3 months ago
2003
IEEE
The authors’ aim in this work is to develop an easy-to-use computer-human interaction (CHI) platform. In this paper, i-ball 2 (interactive/information ball 2) is introduced as a...
ICCV
2003
IEEE
14 years 3 months ago
2003
IEEE
Many of the computer vision algorithms have been posed in various forms of differential equations, derived from minimization of specific energy functionals, and the finite eleme...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
The NASA/DARPA Robonaut system is evolving from a purely teleoperator controlled anthropomorphic robot towards a humanoid system with multiple control pathways. Robonaut is a huma...