4117 search results - page 234 / 824 » On the Satisfiability of Complex Constraints |
157
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Although timetabling has long been studied through constraint satisfaction based techniques, along with many alternatives, only recently work has been reported where distributed t...
150
click to vote
ICTAI
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we address the problem of consistency checking for Euclidean spatial constraints. A dimension graph representation is proposed to maintain the Euclidean spatial con...
188
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
We present an optimization method and algorithm designed for three objectives: physical data independence, semantic optimization, and generalized tableau minimization. The method ...
186
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper studies the geometry of multi-image perspective projection and the matching constraints that this induces on image measurements. The combined image projections define ...
176
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...