Sciweavers

2962 search results - page 287 / 593
» Reasoning on Association Rules
Sort
View
ICFCA
2007
Springer
16 years 26 days ago
A Parameterized Algorithm for Exploring Concept Lattices
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (...
Peggy Cellier, Sébastien Ferré, Oliv...
CSFW
2006
IEEE
16 years 23 days ago
Non-Interference in Constructive Authorization Logic
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
Deepak Garg, Frank Pfenning
PPSN
2004
Springer
16 years 2 days ago
Web Page Classification with an Ant Colony Algorithm
This paper utilizes Ant-Miner – the first Ant Colony algorithm for discovering classification rules – in the field of web content mining, and shows that it is more effective th...
Nicholas Holden, Alex Alves Freitas
SEFM
2003
IEEE
15 years 12 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
APN
2003
Springer
15 years 12 months ago
Nets Enriched over Closed Monoidal Structures
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
Eric Badouel, Jules Chenou