436 search results - page 23 / 88 » Lightweight Rule Induction |
112
Voted
ICANN
2003
Springer
15 years 8 months ago
2003
Springer
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
135
Voted
ICRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
135
Voted
BTW
1999
Springer
15 years 8 months ago
1999
Springer
Data mining has been recognised as an essential element of decision support, which has increasingly become a focus of the database industry. Like all computationally expensive data...
132
Voted
KDD
1995
ACM
15 years 7 months ago
1995
ACM
Anapplication of data miningtechniques to heterogeneous database schemaintegration is introduced. We use attribute-oriented induction to minefor characteristic and classification ...
154
Voted
JAR
2010
14 years 10 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...