A Third-Order Representation of the lambda-mu-Calculus.

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

genetic algorithm
image representation
real time
data sets
neural network
machine learning
computer vision
evolutionary algorithm
multiresolution
fixed point
feature representation
relation algebra