Sciweavers

340 search results - page 7 / 68
» Association Rules in the Relational Calculus
Sort
View
100
Voted
ECAI
2004
Springer
15 years 3 months ago
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm
A Bayesian network is an appropriate tool to deal with the uncertainty that is typical of real-life applications. Bayesian network arcs represent statistical dependence between dif...
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
ICFEM
2004
Springer
15 years 3 months ago
From Circus to JCSP
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
Marcel Oliveira, Ana Cavalcanti
87
Voted
CORR
2006
Springer
110views Education» more  CORR 2006»
14 years 9 months ago
Definitions by Rewriting in the Calculus of Constructions
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
Frédéric Blanqui
FUIN
2000
109views more  FUIN 2000»
14 years 9 months ago
Building Knowledge Scouts Using KGL Metalanguage
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
Ryszard S. Michalski, Kenneth A. Kaufman
IEAAIE
2005
Springer
15 years 3 months ago
Mining Generalized Association Rules on Biomedical Literature
The discovery of new and potentially meaningful relationships between concepts in the biomedical literature has attracted the attention of a lot of researchers in text mining. The ...
Margherita Berardi, Michele Lapi, Pietro Leo, Corr...