79 search results - page 3 / 16 » rules 1993 |
CONCUR
1993
Springer
14 years 19 days ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
RSCTC
1993
Springer
14 years 19 days ago
1993
Springer
This paper focuses on the application of rough set constructs to inductive learning from a database. A design guideline is suggested, which provides users the option to choose app...
ECML
1993
Springer
14 years 19 days ago
1993
Springer
This paper describes a genetic learning system called SIA, which learns attributes based rules from a set of preclassified examples. Examples may be described with a variable numbe...
SIGMOD
1993
ACM
14 years 19 days ago
1993
ACM
We are given a large database of customer transactions. Each transaction consists of items purchased by a customer in a visit. We present an e cient algorithm that generates all s...
ELP
1993
14 years 19 days ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...