1914 search results - page 248 / 383 » Verification by Abstract Interpretation |
VL
2008
IEEE
15 years 7 months ago
2008
IEEE
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, ...
108
Voted
CISS
2007
IEEE
15 years 7 months ago
2007
IEEE
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...
107
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
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...
104
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
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...
106
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The future of robots, as our companions is dependent on their ability to understand, interpret and represent the environment in a human compatible manner. Towards this ...