499 search results - page 36 / 100 » Constructive Induction by Analogy |
MFCS
2001
Springer
14 years 3 days ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
EJC
2010
13 years 7 months ago
2010
The paper contains a construction of a universal countable graph, different from the Rado graph, such that for any of its vertices both the neighbourhood and the non-neighbourhood ...
MLDM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
KDD
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we show that stylistic text features can be exploited to determine an anonymous author's native language with high accuracy. Specifically, we first use automat...
AAAI
1990
13 years 8 months ago
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...