Search Sciweavers | Sciweavers

215 search results - page 12 / 43

» Integrating Abduction and Induction

click to vote

KDD
1994
ACM

96views Data Mining» more KDD 1994»

DICE: A Discovery Environment Integrating Inductive Bias

13 years 11 months ago

Download www-poleia.lip6.fr

: Most of Knowledge Discovery in Database (KDD) systems are integrating efficient Machine Learning techniques. In fact issues in Machine Learning and KDD are very close allowing fo...

Jean-Daniel Zucker, Vincent Corruble, J. Thomas, G...

claim paper

Read More »

click to vote

ENTCS
2006

125views more ENTCS 2006»

An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving

13 years 7 months ago

Download www.ags.uni-sb.de

To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...

Tobias Schmidt-Samoa

claim paper

Read More »

click to vote

CIKM
2001
Springer

80views Information Technology» more CIKM 2001»

Induction of Integrated View for XML Data with Heterogeneous DTDs

14 years 6 days ago

Download www.iis.sinica.edu.tw

Euna Jeong, Chun-Nan Hsu

claim paper

Read More »