Sciweavers

1404 search results - page 46 / 281
» Complexity of admissible rules
Sort
View
VLDB
1993
ACM
121views Database» more  VLDB 1993»
14 years 2 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis
RML
2002
94views Business» more  RML 2002»
13 years 10 months ago
The situation manager rule language
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
Asaf Adi, Opher Etzion
TKDE
2002
133views more  TKDE 2002»
13 years 10 months ago
Binary Rule Generation via Hamming Clustering
The generation of a set of rules underlying a classification problem is performed by applying a new algorithm, called Hamming Clustering (HC). It reconstructs the and-or expressio...
Marco Muselli, Diego Liberati
CSCLP
2005
Springer
14 years 3 months ago
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
Thom W. Frühwirth
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
14 years 1 months ago
Transistor reordering rules for power reduction in CMOS gates
— The goal of transistor reordering for a logic gate is to reduce the propagation delay as well as the charging and discharging of internal capacitances to achieve low power cons...
Wen-Zen Shen, Jiing-Yuan Lin, Fong-Wen Wang