2911 search results - page 54 / 583 » A Logic of Graph Constraints |
COMPSAC
2011
IEEE
12 years 9 months ago
2011
IEEE
ICTAI
2000
IEEE
14 years 2 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...
SDM
2008
SIAM
13 years 11 months ago
2008
SIAM
In constrained clustering it is common to model the pairwise constraints as edges on the graph of observations. Using results from graph theory, we analyze such constraint graphs ...
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
JAIR
2006
13 years 10 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...