Sciweavers

74 search results - page 2 / 15
» Deduction Schemes for Association Rules
Sort
View
ICDM
2007
IEEE
206views Data Mining» more  ICDM 2007»
14 years 18 days ago
A Novel Rule Weighting Approach in Classification Association Rule Mining
Classification Association Rule Mining (CARM) is a recent Classification Rule Mining (CRM) approach that builds an Association Rule Mining (ARM) based classifier using Classificat...
Yanbo J. Wang, Qin Xin, Frans Coenen
ILP
2003
Springer
13 years 11 months ago
ILP for Mathematical Discovery
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
Simon Colton, Stephen Muggleton
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 3 months ago
A Proof Theoretic Analysis of Intruder Theories
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
VLDB
2002
ACM
123views Database» more  VLDB 2002»
13 years 5 months ago
Maintaining Data Privacy in Association Rule Mining
Data mining services require accurate input data for their results to be meaningful, but privacy concerns may influence users to provide spurious information. We investigate here,...
Shariq Rizvi, Jayant R. Haritsa
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 6 months ago
Rewriting modulo in Deduction modulo
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
Frédéric Blanqui