Sciweavers

340 search results - page 39 / 68
» Association Rules in the Relational Calculus
Sort
View
LICS
2007
IEEE
15 years 4 months ago
Environmental Bisimulations for Higher-Order Languages
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
ICAIL
2003
ACM
15 years 3 months ago
Logic-Based Regulation Compliance-Assistance
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
Shawn Kerrigan, Kincho H. Law
ICCS
2004
Springer
15 years 3 months ago
Iceberg Query Lattices for Datalog
In this paper we study two orthogonal extensions of the classical data mining problem of mining association rules, and show how they naturally interact. The first is the extension...
Gerd Stumme
IADIS
2003
14 years 11 months ago
Pandora Case Tool: Triggers Generating for Cardinality Constraints in RDBMS
The cardinality constraint is one of the most important constraints that can be established in a conceptual model. Nevertheless, not all CASE tools for developing database support...
Harith T. Al-Jumaily, Dolores Cuadra, Paloma Mart&...
ACL
2003
14 years 11 months ago
Deverbal Compound Noun Analysis Based on Lexical Conceptual Structure
This paper proposes a principled approach for analysis of semantic relations between constituents in compound nouns based on lexical semantic structure. One of the difficulties o...
Koichi Takeuchi, Kyo Kageura, Teruo Koyama