5216 search results - page 389 / 1044 » Planning as Model Checking |
171
click to vote
IJSEKE
2000
15 years 6 months ago
2000
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
177
Voted
TROB
2002
15 years 6 months ago
2002
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
164
Voted
INFORMS
2010
15 years 5 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
185
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Next-best-view (NBV) planning is an important aspect for three-dimensional (3D) reconstruction within controlled environments, such as a camera mounted on a robotic arm. NBV metho...
162
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...