97 search results - page 3 / 20 » Parallel Randomized State-Space Search |
SPIN
2009
Springer
13 years 11 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
ACG
2009
Springer
13 years 11 months ago
2009
Springer
IJAIT
2000
13 years 4 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
ICIP
2007
IEEE
14 years 6 months ago
2007
IEEE
Abstract-- This paper presents an edge-directed image interpolation algorithm. In the proposed algorithm, the edge directions are implicitly estimated with a statistical-based appr...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...