Sciweavers

157 search results - page 5 / 32
» Instance Sense Induction from Attribute Sets
Sort
View
JSAI
2001
Springer
15 years 2 months ago
Medical Knowledge Discovery on the Meningoencephalitis Diagnosis Studied by the Cascade Model
: The cascade model is a rule induction methodology that uses level-wise expansion of a lattice. An attribute-value pair is expressed as an item, and every node in the lattice is s...
Takashi Okada
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
15 years 1 months ago
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
Catherine Parent
KDD
1994
ACM
98views Data Mining» more  KDD 1994»
15 years 1 months ago
Rule Induction for Semantic Query Optimization
Semantic query optimization can dramatically speed up database query answering by knowledge intensive reformulation. But the problem of how to learn required semantic rules has no...
Chun-Nan Hsu, Craig A. Knoblock
66
Voted
DIS
2006
Springer
15 years 1 months ago
Experiences from a Socio-economic Application of Induction Trees
This paper presents a full scaled application of induction trees for non-classificatory purposes. The grown trees are used for highlighting regional differences in the women's...
Fabio B. Losa, Pau Origoni, Gilbert Ritschard
IDA
2005
Springer
15 years 3 months ago
Learning from Ambiguously Labeled Examples
Inducing a classification function from a set of examples in the form of labeled instances is a standard problem in supervised machine learning. In this paper, we are concerned w...
Eyke Hüllermeier, Jürgen Beringer