Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.

Thomas Ehrhard Laurent Regnier

Published in: CiE (2006)

Keyphrases

decision trees
computer vision
artificial intelligence
co occurrence
data sets
neural network
learning algorithm
video sequences
lower bound
expert systems
text classification
fixed point
batch processing
binary trees