2911 search results - page 56 / 583 » A Logic of Graph Constraints |
CADE
2004
Springer
14 years 10 months ago
2004
Springer
CORR
2004
Springer
13 years 9 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
PAKDD
2007
ACM
14 years 4 months ago
2007
ACM
In graph mining applications, there has been an increasingly strong urge for imposing user-specified constraints on the mining results. However, unlike most traditional itemset co...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints,...
VLDB
1987
ACM
14 years 1 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...