Sciweavers

412 search results - page 7 / 83
» Bootstrapping Rule Induction
Sort
View
CSL
2001
Springer
14 years 11 days ago
On a Generalisation of Herbrand's Theorem
In this paper we investigate the purely logical rule of term induction, i.e. induction deriving numerals instead of arbitrary terms. In this system it is not possible to bound the ...
Matthias Baaz, Georg Moser
SGAI
2007
Springer
14 years 2 months ago
Towards a Computationally Efficient Approach to Modular Classification Rule Induction
Induction of classification rules is one of the most important technologies in data mining. Most of the work in this field has concentrated on the Top Down Induction of Decision T...
Frederic T. Stahl, Max Bramer
PKDD
1999
Springer
101views Data Mining» more  PKDD 1999»
14 years 3 days ago
Rule Induction in Cascade Model Based on Sum of Squares Decomposition
A cascade model is a rule induction methodology using levelwise expansion of an itemset lattice, where the explanatory power of a rule set and its constituent rules are quantitativ...
Takashi Okada
NLP
2000
13 years 11 months ago
Learning Rules for Large-Vocabulary Word Sense Disambiguation: A Comparison of Various Classifiers
In this article we compare the performance of various machine learning algorithms on the task of constructing word-sense disambiguation rules from data. The distinguishing characte...
Georgios Paliouras, Vangelis Karkaletsis, Ion Andr...
CORR
2006
Springer
135views Education» more  CORR 2006»
13 years 7 months ago
The Calculus of Algebraic Constructions
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
Frédéric Blanqui, Jean-Pierre Jouann...