2911 search results - page 54 / 583 » A Logic of Graph Constraints |
154
Voted
COMPSAC
2011
IEEE
14 years 12 days ago
2011
IEEE
91
Voted
ICTAI
2000
IEEE
15 years 5 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...
119
Voted
SDM
2008
SIAM
15 years 2 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 ...
108
Voted
ZUM
2000
Springer
15 years 4 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...
107
Voted
JAIR
2006
15 years 17 days 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...