13827 search results - page 2557 / 2766 » The state of artificial intelligence |
221
click to vote
AIMSA
2004
Springer
16 years 19 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
184
click to vote
CP
2004
Springer
16 years 19 days 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...
171
click to vote
CP
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
179
click to vote
CP
2004
Springer
16 years 19 days ago
2004
Springer
We have started a systematic study of global constraints on set and multiset variables. We consider here disjoint, partition, and intersection constraints in conjunction with cardi...
184
click to vote
CP
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...