Sciweavers

627 search results - page 17 / 126
» The Laplace-Jaynes approach to induction
Sort
View
99
Voted
DATAMINE
1999
108views more  DATAMINE 1999»
14 years 9 months ago
A Survey of Methods for Scaling Up Inductive Algorithms
Abstract. One of the de ning challenges for the KDD research community is to enable inductive learning algorithms to mine very large databases. This paper summarizes, categorizes, ...
Foster J. Provost, Venkateswarlu Kolluri
CADE
2009
Springer
15 years 10 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...
KDD
2001
ACM
141views Data Mining» more  KDD 2001»
15 years 10 months ago
Induction of semantic classes from natural language text
Many applications dealing with textual information require classification of words into semantic classes (or concepts). However, manually constructing semantic classes is a tediou...
Dekang Lin, Patrick Pantel
PEPM
2012
ACM
13 years 5 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
Janis Voigtländer
84
Voted
SAINT
2005
IEEE
15 years 3 months ago
Inductive Logic Programming for Structure-Activity Relationship Studies on Large Scale Data
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numa...