6456 search results - page 168 / 1292 » Constraint Solving on Terms |
168
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
150
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
168
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
158
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we study a sequential decision making problem. The objective is to maximize the average reward accumulated over time subject to temporal cost constraints. The novel...
164
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...