13841 search results - page 125 / 2769 » Algorithms and Constraint Programming |
115
click to vote
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
128
click to vote
PPDP
2004
Springer
15 years 8 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 ...
188
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
117
Voted
AAAI
2004
15 years 4 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
108
Voted
MOR
2006
15 years 2 months ago
2006
For a locally optimal solution to the nonlinear semidefinite programming problem, under Robinson's constraint qualification, the following conditions are proved to be equival...