287 search results - page 7 / 58 » Data-Driven Constructive Induction |
97
Voted
FSTTCS
1993
Springer
15 years 6 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
127
Voted
ENTCS
2002
15 years 2 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
122
Voted
MPC
1995
Springer
15 years 6 months ago
1995
Springer
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 ...
104
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...
94
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
