335 search results - page 16 / 67 » Collaborative Learning for Constraint Solving |
CP
2004
Springer
15 years 5 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
CP
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
CE
2008
14 years 11 months ago
2008
Although most online learning environments are predominately text based, researchers have argued that representational support for the conceptual structure of a problem would addr...
87
Voted
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
116
click to vote
MMS
2006
14 years 11 months ago
2006
In content-based image retrieval (CBIR), relevant images are identified based on their similarities to query images. Most CBIR algorithms are hindered by the semantic gap between ...