5216 search results - page 922 / 1044 » Planning as Model Checking |
121
Voted
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Photodynamic therapy (PDT) is a method of treating cancer that combines light and light-sensitive drugs to selectively destroy cancerous tumours without harming the healthy tiss...
118
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We report our system and algorithm developments that enable a single mobile robot equipped with a directional antenna to simultaneously localize multiple unknown transient radi...
124
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper addresses the use of robotic tissue manipulation in medical needle insertion procedures to improve targeting accuracy and to help avoid damaging sensitive tissues. T...
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We propose a system for improving grasping using fingertip optical proximity sensors that allows us to perform online grasp adjustments to an initial grasp point without requi...
139
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...