Sciweavers

6395 search results - page 1088 / 1279
» Searching for Interacting Features
Sort
View
ICRA
2009
IEEE
162views Robotics» more  ICRA 2009»
16 years 1 months ago
Distributed sensor analysis for fault detection in tightly-coupled multi-robot team tasks
— This paper presents a distributed version of our previous work, called SAFDetection, which is a sensor analysisbased fault detection approach that is used to monitor tightlycou...
Xingyan Li, Lynne E. Parker
ICRA
2009
IEEE
257views Robotics» more  ICRA 2009»
16 years 1 months ago
The DLR MiroSurge - A robotic system for surgery
— This video presents the in-house developed DLR MiroSurge robotic system for surgery. As shown, the system is suitable for both minimally invasive and open surgery. Essential pa...
Rainer Konietschke, Ulrich Hagn, Mathias Nickl, St...
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
16 years 1 months ago
Incremental polyphonic audio to score alignment using beat tracking for singer robots
— We aim at developing a singer robot capable of listening to music with its own “ears” and interacting with a human’s musical performance. Such a singer robot requires at ...
Takuma Otsuka, Toru Takahashi, Hiroshi G. Okuno, K...
LAWEB
2009
IEEE
16 years 1 months ago
A Theoretical Survey of User Interface Description Languages: Preliminary Results
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
Josefina Guerrero García, Juan Manuel Gonz&...
TPHOL
2009
IEEE
16 years 1 months ago
Psi-calculi in Isabelle
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
Jesper Bengtson, Joachim Parrow
« Prev « First page 1088 / 1279 Last » Next »