Sciweavers

2655 search results - page 199 / 531
» User-Tailored Plan Presentation
Sort
View
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
15 years 11 months ago
A Feedback Strategy for Dextrous Manipulation
In a typical dextrous manipulation task, a goal configuration is reached through a sequence of continuous motions. Most often, a motion plan is computed offline and subsequently...
Milos Zefran
ISBI
2002
IEEE
15 years 11 months ago
Fast center-line extraction for quantification of vessels in confocal microscopy images
In this paper we present a novel method for the 3D centerline extraction of elongated objects such as vessels. This method unites the basic ideas in distance transformbased, thinn...
M. Maddah, Ali Afzali-Kusha, Hamid Soltanian-Zadeh...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 10 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
PODC
2010
ACM
15 years 10 months ago
Brief announcement: on the quest of optimal service ordering in decentralized queries
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
Efthymia Tsamoura, Anastasios Gounaris, Yannis Man...
AAAI
2007
15 years 9 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...