531 search results - page 100 / 107 » Using Abstraction for Planning in Sokoban |
COOPIS
2003
IEEE
14 years 28 days ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
MICCAI
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
DSD
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—In two recent contributions [1], [2], we have provided a comparative analysis of various optimization algorithms, which can be used for atomic location estimation, and s...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Fixation-based surgery is a new technique for achieving difficult corrections in some orthopedic procedures. The method is premised on using a fixation device, such as a ...