5216 search results - page 852 / 1044 » Planning as Model Checking |
191
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new paradigm for automatic medical image analysis that adopts concepts from the field of Artificial Life. Our approach prescribes deformable organisms, autonomous ag...
170
click to vote
HT
2000
ACM
15 years 10 months ago
2000
ACM
This paper proposes the inclusion of travel and mobility in the usability metrics of web design. Hypertext design and usability has traditionally concentrated upon navigation and/...
194
click to vote
ISWC
1997
IEEE
15 years 10 months ago
1997
IEEE
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...
155
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
The Self-Mobile Space Manipulator (SM2) has evolved to adapt to the new pre-integrated I-beam structure of the Space Station Freedom (SSF). In this paper, we first briefly overvie...
217
click to vote
BTW
1993
Springer
15 years 10 months ago
1993
Springer
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being...