5216 search results - page 780 / 1044 » Planning as Model Checking |
152
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Generating accurate three dimensional planetary models is becoming increasingly more important as NASA plans manned missions to return to the moon in the next decade. This paper d...
173
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
143
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— By monitoring the exchanged IPsec traffic an adversary can usually easily discover the layout of virtual private networks (VPNs). Of even worse extend is the disclosure if com...
213
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
Video games in general and educational role play games in particular would increase in believability if Non Player Characters reacted appropriately to the player’s actions. Reali...
139
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
A range-finding scanner can collect information about the shape of an (unknown) polygonal room in which it is placed. Suppose that a set of scanners returns not only a set of poin...