942 search results - page 125 / 189 » Cooperating Constraint Solvers |
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
121
click to vote
EVOW
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The Traveling Salesman Problem (TSP) is a well-known NPhard combinatorial optimization problem, for which a large variety of evolutionary algorithms are known. However, t...
LPNMR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
PADL
2007
Springer
15 years 3 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— This article introduces a new technique for planning reactionless paths to a point in Cartesian space, for manipulators mounted on a free-floating satellite. It is based on de...