Sciweavers

2864 search results - page 31 / 573
» Constraint Programming in OPL
Sort
View
CP
2009
Springer
14 years 8 months ago
SOGgy Constraints: Soft Open Global Constraints
We investigate soft open constraints. We generalize and unify classes of soft constraints and adapt them to the open setting. We give sufficient conditions for generalized classes ...
Michael J. Maher
IJCAI
2007
13 years 9 months ago
Learning Implied Global Constraints
Finding a constraint network that will be efficiently solved by a constraint solver requires a strong expertise in Constraint Programming. Hence, there is an increasing interest i...
Christian Bessière, Remi Coletta, Thierry P...
JMLR
2012
11 years 10 months ago
Constrained 1-Spectral Clustering
An important form of prior information in clustering comes in form of cannot-link and must-link constraints. We present a generalization of the popular spectral clustering techniq...
Syama Sundar Rangapuram, Matthias Hein
FMICS
2006
Springer
13 years 11 months ago
jmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
Ben Krause, Tim Wahls
ENTCS
2006
114views more  ENTCS 2006»
13 years 7 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
Luca Bortolussi