477 search results - page 4 / 96 » Rule Combination in Inductive Learning |
IJCAI
2001
13 years 8 months ago
2001
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...
ECML
2006
Springer
13 years 11 months ago
2006
Springer
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...
FATES
2003
Springer
14 years 18 days ago
2003
Springer
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 ...
MLDM
2001
Springer
13 years 11 months ago
2001
Springer
ENTCS
2006
13 years 7 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...