119 search results - page 17 / 24 » Alpha-Structural Recursion and Induction |
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
COLT
2001
Springer
14 years 2 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
ALT
2000
Springer
14 years 6 months ago
2000
Springer
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios in which the learner is successful if its final hypothesis describ...
ALT
2003
Springer
14 years 6 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
CSIE
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we describe a system for correcting English preposition errors automatically. Non-native English writers often make these errors. Our system uses rules extracted au...