Completeness of Continuation Models for lambda-mu-Calculus.

Martin Hofmann Thomas Streicher

Published in: Inf. Comput. (2002)

Keyphrases

neural network
experimental data
statistical models
real time
feature selection
decision trees
image segmentation
multi agent systems
prior knowledge
probabilistic model
parameter estimation
machine learning algorithms
complex systems
statistical model