Proving Termination by Divergence.

Domagoj Babic Alan J. Hu Zvonimir Rakamaric Byron Cook

Published in: SEFM (2007)

Keyphrases

term rewrite systems
term rewriting
kullback leibler
active rules
rewrite rules
data sets
neural network
relative entropy
rewrite systems
multi agent
hidden markov models
mutual information
objective function
kl divergence
computer vision
artificial intelligence
learning algorithm
termination analysis
jensen shannon