5216 search results - page 787 / 1044 » Planning as Model Checking |
132
click to vote
IS4TH
2003
Springer
15 years 11 months ago
2003
Springer
In the last few years, radiofrequency ablation has become one of the most promising techniques to treat liver tumors. But radiologists have to face the difficulty of planning their...
192
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a stereo-based obstacle avoidance system for mobile vehicles. The system operates in three steps. First, it models the surface geometry of supporting surface and remove...
168
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
178
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...
229
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...