Sciweavers

3293 search results - page 492 / 659
» Communicative Autonomous Agents
Sort
View
ICRA
2002
IEEE
185views Robotics» more  ICRA 2002»
15 years 12 months ago
Development and Evaluation of an Interactive Humanoid Robot "Robovie"
In this paper, we report about a new interactionoriented robot, which communicates with humans and will participate in human society as our partner. For realizing such a robot, we...
Takayuki Kanda, Hiroshi Ishiguro, Tetsuo Ono, Mich...
176
Voted
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 12 months ago
An Experiment in Internet-Based, Human-Assisted Robotics
: This paper describes an experimental exploration in Internet-based control of robots. The motivation of this work is that Internet communications can be exploited to achieve grea...
Lung Ngai, Wyatt S. Newman, Vincenzo Liberatore
219
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
167
Voted
DEBS
2007
ACM
15 years 11 months ago
Adapting publish-subscribe routing to traffic demands
Most of currently available content-based publish-subscribe systems that were designed to operate in large scale, wired scenarios, build their routing infrastructure as a set of b...
Matteo Migliavacca, Gianpaolo Cugola
173
Voted
ROBOCUP
2000
Springer
101views Robotics» more  ROBOCUP 2000»
15 years 10 months ago
CMU Hammerheads Team Description
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
Rosemary Emery, Tucker R. Balch, Rande Shern, Kevi...