Normal Higher-Order Termination.

Jean-Pierre Jouannaud Albert Rubio

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

higher order
high order
natural images
markov models
pairwise
markov random field
machine learning
image segmentation
multiscale
rewrite systems
data structure
conditional random fields
lambda calculus
neural network
low order
active rules
programming language
artificial neural networks
multi agent
database systems