287 search results - page 31 / 58 » Data-Driven Constructive Induction |
APAL
2002
13 years 7 months ago
2002
In this paper we discuss extensions of Feferman's theory T0 for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natu...
IPL
2002
13 years 7 months ago
2002
We study the possibility of constructing decision trees with evolutionary algorithms in order to increase their predictive accuracy. We present a self-adapting evolutionary algori...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
EUSFLAT
2001
13 years 9 months ago
2001
This paper advances a fuzzy control strategy of the phase angle between the voltage and the current of a variable RL load using the system introduced in [3].- This control method ...