A Reflective Higher-order Calculus.

L. Gregory Meredith Matthias Radestock

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

Keyphrases

higher order
lambda calculus
high order
pairwise
natural images
markov random field
automated deduction
conditional random fields
computer algebra
e learning
low order
database
neural network
computer vision
lower order
reflective learning