Sciweavers

2274 search results - page 228 / 455
» A Tale of Two Projects
Sort
View
ICRA
1994
IEEE
137views Robotics» more  ICRA 1994»
15 years 9 months ago
Local Incremental Planning for Nonholonomic Mobile Robots
We present a simple approach for planning the motion of nonholonomic robots among obstacles. Existing methods lead to open-loop solutions which are either obtained in two stages, ...
Alessandro De Luca, Giuseppe Oriolo
AIME
2007
Springer
15 years 9 months ago
Maintaining Formal Models of Living Guidelines Efficiently
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
Andreas Seyfang, Begoña Martínez-Sal...
155
Voted
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 9 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
GBRPR
2007
Springer
15 years 9 months ago
Image Classification Using Marginalized Kernels for Graphs
We propose in this article an image classification technique based on kernel methods and graphs. Our work explores the possibility of applying marginalized kernels to image process...
Emanuel Aldea, Jamal Atif, Isabelle Bloch
HRI
2007
ACM
15 years 9 months ago
Incremental learning of gestures by imitation in a humanoid robot
We present an approach to teach incrementally human gestures to a humanoid robot. The learning process consists of first projecting the movement data in a latent space and encodin...
Sylvain Calinon, Aude Billard