Sciweavers

829 search results - page 56 / 166
» Making Microrobots Move
Sort
View
ICIAP
1999
ACM
14 years 14 days ago
Image Stabilization by Features Tracking
This paper describes a technique for image stabilization in video sequences. The warping that compensates for camera’s motion is computed from tracked features in the images. In...
Alberto Censi, Andrea Fusiello, Vito Roberto
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
14 years 12 days ago
Webots: Symbiosis Between Virtual and Real Mobile Robots
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
Olivier Michel
TAPSOFT
1997
Springer
14 years 10 days ago
Traces of I/O-Automata in Isabelle/HOLCF
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
Olaf Müller, Tobias Nipkow
CSCW
1992
ACM
14 years 8 days ago
Awareness and Coordination in Shared Workspaces
Awareness of individual and group activities is critical to successful collaboration and is commonly supported in CSCW systems by active, information generation mechanisms separat...
Paul Dourish, Victoria Bellotti
ASSETS
2007
ACM
14 years 6 days ago
Accessible spaces: navigating through a marked environment with a camera phone
We demonstrate a system designed to assist a visually impaired individual while moving in an unfamiliar environment. Small and economical color markers are placed in key locations...
Kee-Yip Chan, Roberto Manduchi, James Coughlan