Sciweavers

2962 search results - page 129 / 593
» Reasoning on Association Rules
Sort
View
KDD
2002
ACM
106views Data Mining» more  KDD 2002»
16 years 6 months ago
Selecting the right interestingness measure for association patterns
Many techniques for association rule mining and feature selection require a suitable metric to capture the dependencies among variables in a data set. For example, metrics such as...
Pang-Ning Tan, Vipin Kumar, Jaideep Srivastava
ILP
1998
Springer
15 years 10 months ago
Prolog, Refinements and RLGG's
Cohen's [1] refinement rules provide a flexible mechanism for introducing intentional background knowledge in an ILP system. Whereas Cohen used a limited second order theorem ...
Claude Sammut
PODC
1994
ACM
15 years 10 months ago
Open Systems in TLA
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
Martín Abadi, Leslie Lamport
ICCBR
2007
Springer
16 years 15 days ago
Acquiring Word Similarities with Higher Order Association Mining
We present a novel approach to mine word similarity in Textual Case Based Reasoning. We exploit indirect associations of words, in addition to direct ones for estimating their simi...
Sutanu Chakraborti, Nirmalie Wiratunga, Robert Lot...
CADE
2008
Springer
16 years 6 months ago
Proving Group Protocols Secure Against Eavesdroppers
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
Steve Kremer, Antoine Mercier 0002, Ralf Treinen