Sciweavers

1588 search results - page 76 / 318
» On the Logic of Constitutive Rules
Sort
View
IDEAL
2004
Springer
15 years 11 months ago
PRICES: An Efficient Algorithm for Mining Association Rules
In this paper, we present PRICES, an efficient algorithm for mining association rules, which first identifies all large itemsets and then generates association rules. Our approach ...
Chuan Wang, Christos Tjortjis
POPL
2007
ACM
16 years 6 months ago
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
Edmund S. L. Lam, Martin Sulzmann
SEFM
2009
IEEE
16 years 1 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
RSCTC
2004
Springer
110views Fuzzy Logic» more  RSCTC 2004»
15 years 11 months ago
A Graded Applicability of Rules
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
Anna Gomolinska
RSCTC
2004
Springer
138views Fuzzy Logic» more  RSCTC 2004»
15 years 11 months ago
A Parallel Approximate Rule Extracting Algorithm Based on the Improved Discernibility Matrix
A parallel rule-extracting algorithm based on the improved discernibility matrix [2] is proposed, by this way, a large amount of raw data can be divided into some small portions to...
Yong Liu, Congfu Xu, Yunhe Pan