A Higher-Order Calculus and Theory Abstraction

Published in: Inf. Comput. (1991)

Keyphrases

higher order
high order
lambda calculus
computer algebra
pairwise
theoretical basis
real time
natural images
markov random field
lower order
similarity measure
theoretical framework
case study
general theory
information systems
artificial intelligence
neural network