13 search results - page 2 / 3 » Controlled Self-Applicable On-Line Partial Evaluation, Using... |
ISBI
2008
IEEE
14 years 5 months ago
2008
IEEE
Image registration algorithms provide a displacement field between two images. We consider the problem of estimating accuracy of the calculated displacement field from the input i...
ICTAI
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper, we study strategies in incremental planning for ordering and grouping subproblems partitioned by the subgoals of a planning problem when each subproblem is solved b...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
AAAI
2004
13 years 6 months ago
2004
Oversubscribed scheduling problems require removing or partially satisfying tasks when enough resources are not available. For a particular oversubscribed problem, Air Force Satel...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...