Sciweavers

3293 search results - page 492 / 659
» Communicative Autonomous Agents
Sort
View
ICRA
2002
IEEE
185views Robotics» more  ICRA 2002»
15 years 11 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...
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 11 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
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 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...
DEBS
2007
ACM
15 years 10 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
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...