Sciweavers

1422 search results - page 163 / 285
» Complementation in Abstract Interpretation
Sort
View
IROS
2008
IEEE
111views Robotics» more  IROS 2008»
15 years 10 months ago
Self-Localization with RFID snapshots in densely tagged environments
Abstract— In this paper we show that, despite some disadvantageous properties of radio frequency identification (RFID), it is possible to localize a mobile robot quite accuratel...
Philipp Vorst, Sebastian Schneegans, Bin Yang, And...
VL
2008
IEEE
15 years 10 months ago
End-user programming to support classroom activities on small devices
We believe it is unreasonable to assume that all students will own a laptop. One potential solution is to depend on the students to bring whatever computing devices (cell phones, ...
Craig Prince
CISS
2007
IEEE
15 years 10 months ago
Interference Mitigating in Wireless Networks Using Prior Knowledge
Abstract— We propose a framework to mitigate the interference in high data rate mobile wireless networking. Interference is a fundamental obstacle to achieve high data rates in w...
Kejing Liu, Stephan Bohacek, Javier Garcia-Frias
ICRA
2007
IEEE
123views Robotics» more  ICRA 2007»
15 years 10 months ago
ZMP-based Biped Running Enhanced by Toe Springs
Abstract— We discuss a ZMP-based running pattern generation for a biped robot equipped with toe springs. Our biped robot HRP-2LT has twelve active DoFs for its legs and two passi...
Shuuji Kajita, Kenji Kaneko, Mitsuharu Morisawa, S...
ICRA
2007
IEEE
196views Robotics» more  ICRA 2007»
15 years 10 months ago
A Visual Language for Robot Control and Programming: A Human-Interface Study
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
Gregory Dudek, Junaed Sattar, Anqi Xu