16216 search results - page 279 / 3244 » Effective Modeling with Constraints |
173
click to vote
JAR
2000
15 years 6 months ago
2000
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
170
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we introduce a new partial consistency for constraint networks which is called Structural Consistency of level w and is denoted w-SC consistency. This consistency i...
222
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper, we raise important issues on scalability and the required degree of supervision of existing Mahalanobis metric learning methods. Often rather tedious optimization p...
146
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes the combination of a well-known tsp heuristic, genius, with a constraint programming model for routing problems. The result, genius-cp, is an e cient heuristic...
205
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...