870 search results - page 121 / 174 » Theoretical and experimental results on the goal-plan tree p... |
SYNASC
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
A novel procedure for in-silico (virtual) craniofacial reconstruction of human mandibles with multiple fractures from a sequence of Computed Tomography (CT) images is presented. T...
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Here we model the effect of non-overlapping voxels on image registration, and show that a major defect of overlap-only models--their limited capture range--can be alleviated. Theor...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper addresses the problem of fine-grained data replication in large distributed systems, such as the Internet, so as to minimize the user access delays. With fine-grained d...
ACMSE
2008
ACM
14 years 12 months ago
2008
ACM
Recently there has been a surge of interest in making computer science education attractive to potential students, motivating to current students, and relevant to graduating stude...