5216 search results - page 447 / 1044 » Planning as Model Checking |
221
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
174
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
194
click to vote
CASCON
2008
15 years 8 months ago
2008
Resource allocation in database management systems is a performance management process in which an autonomic DBMS makes resource allocation decisions based on properties like work...
254
click to vote
Publication
Transit travel time and operating speed influence service attractiveness, operating cost, and system efficiency. The objective of this paper is to estimate the values of parameters...
218
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Generating 3D models of real world objects is a common task during development of any augmented reality application. This paper describes how ProFORMA (Probabilistic Feature-based...