4949 search results - page 57 / 990 » Consistency and Set Intersection |
138
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
A binary constraints network consists of a set of n variables, defined on domains of size at most d, and a set of e binary constraints. The binary constraint satisfaction problem ...
129
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we propose a new algorithm for enforcing relational consistency on every set of k constraints of a finite Constraint Satisfaction Problem (CSP). This algorithm ope...
130
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
Generalization of spatial databases consists of complicated operations including not only geometric transformations but also topological changes. The changes often result in an inc...
127
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
118
click to vote
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
To edit or create the animation of a 3D character model has always been an important but time-consuming task, since the animator usually needs to set up the character’s skeleton,...