Primitive Recursion for Higher-Order Abstract Syntax.

Joëlle Despeyroux Frank Pfenning Carsten Schürmann

Published in: TLCA (1997)

Keyphrases

higher order
high level
natural images
high order
higher level
deductive databases
pairwise
markov random field
natural language
markov models
probabilistic model
lower order
low order
expressive power
real time
query language
decision trees
computer vision
artificial intelligence
machine learning
data mining