7167 search results - page 1178 / 1434 » Answer Set Programming |
CP
2007
Springer
15 years 8 months ago
2007
Springer
: This report introduces a geometrical constraint kernel for handling the location in space and time of polymorphic k-dimensional objects subject to various geometrical and time co...
99
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
118
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
121
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
118
click to vote
ERCIMDL
2007
Springer
15 years 8 months ago
2007
Springer
The Digital Image Archiving System (DIAS) is an image management system, the major functions of which are preserving valuable digital images and serving as an image provider for ex...