247 search results - page 39 / 50 » Combining Adaptive and Dynamic Local Search for Satisfiabili... |
ISPDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Self-stabilizing token circulation algorithms are not always adapted for dynamic networks. Random walks are well known to play a crucial role in the design of randomized algorithm...
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
We develop a general framework to automatically match electronic slides to the videos of corresponding presentations. Applications include supporting indexing and browsing of educ...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
Classic methods for Bayesian inference effectively constrain search to lie within regions of significant probability of the temporal prior. This is efficient with an accurate dyna...
SLS
2009
Springer
14 years 1 days ago
2009
Springer
The Multidimensional Assignment Problem (MAP or s-AP in the case of s dimensions) is an extension of the well-known assignment problem. The most studied case of MAP is 3-AP, though...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Parametric excitation walking is one of methods that realize a passive dynamic like walking on the level ground. In parametric excitation walking, up-and-down motion of the cen...