18 search results - page 4 / 4 » When Do Bounds and Domain Propagation Lead to the Same Searc... |
ICCV
1998
IEEE
14 years 7 months ago
1998
IEEE
Proceedings of the 1998 IEEE International Conference on Computer Vision, Bombay, India We introduce a new distance between two distributions that we call the Earth Mover's D...
HVC
2005
Springer
13 years 10 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
GECCO
2008
Springer
13 years 6 months ago
2008
Springer
Legged robots are useful in tasks such as search and rescue because they can effectively navigate on rugged terrain. However, it is difficult to design controllers for them that ...