Sciweavers

436 search results - page 1 / 88
» Lightweight Rule Induction
Sort
View
ICML
2000
IEEE
13 years 9 months ago
Lightweight Rule Induction
We propose a new rule induction algorithm for solving classification problems via probability estimation. The main advantage of decision rules is their simplicity and good interp...
Sholom M. Weiss, Nitin Indurkhya
AAAI
1994
13 years 6 months ago
Emergent Linguistic Rules from inducing Decision Trees: Disambiguating Discourse Clue Words
We apply decision tree induction to the problem of discourse clue word sense disambiguation. The automatic partitioning of the training set which is intrinsic to decision tree ind...
Eric V. Siegel, Kathleen McKeown
MSCS
2008
119views more  MSCS 2008»
13 years 4 months ago
Structural subtyping for inductive types with functorial equality rules
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
Zhaohui Luo, Robin Adams
FATES
2003
Springer
13 years 10 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ECML
2006
Springer
13 years 8 months ago
Automatically Evolving Rule Induction Algorithms
Research in the rule induction algorithm field produced many algorithms in the last 30 years. However, these algorithms are usually obtained from a few basic rule induction algorit...
Gisele L. Pappa, Alex Alves Freitas