102 search results - page 7 / 21 » Verifying space and time requirements for resource-bounded a... |
107
click to vote
IJCAI
2001
14 years 10 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
AAAI
2008
14 years 11 months ago
2008
We present a breadth-first search algorithm, two-bit breadthfirst search (TBBFS), which requires only two bits for each state in the problem space. TBBFS can be parallelized in se...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we study the dynamic RWA problem in WDM networks with sparse wavelength conversion and propose a novel hybrid algorithm for it based on the combination of mobile ag...
ICPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Registration of point clouds is required in the processing of large biological data sets. The tradeoff between computation time and accuracy of the registration is the main challen...
AAAI
2006
14 years 11 months ago
2006
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...