654 search results - page 46 / 131 » Hybrid Modelling for Robust Solving |
CP
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint prog...
ROBOCUP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Ultra wide band (UWB) impulse radio (IR) technology calls for robust and low-complexity receiver techniques. State-of-the-art proposals are both coherent ML receivers, ...
CATS
2008
13 years 9 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
IJRR
2006
13 years 7 months ago
2006
The first functional load-carrying and energetically autonomous exoskeleton was demonstrated at U.C. Berkeley, walking at the average speed of 0.9 m/s (2 mph) while carrying a 34 ...