3758 search results - page 23 / 752 » A Complete Subsumption Algorithm |
JAPLL
2010
13 years 6 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
FSKD
2005
Springer
14 years 1 months ago
2005
Springer
The value of the itemset share is one way of evaluating the magnitude of an itemset. From business perspective, itemset share values reflect more the significance of itemsets for m...
IPL
2006
13 years 7 months ago
2006
A homogeneous set is a non-trivial module of a graph, i.e. a nonempty, non-unitary, proper vertex subset such that all its elements present the same outer neighborhood. Given two ...
ASIACRYPT
2003
Springer
14 years 23 days ago
2003
Springer
In this paper, we introduce a conceptually very simple and demonstrative algo
EPIA
2001
Springer
14 years 1 days ago
2001
Springer