Termination via conditional reductions.

Timothy B. Baird Ralph W. Wilkerson

Published in: ACM Conference on Computer Science (1991)

Keyphrases

random field model
conditional probabilities
term rewriting
genetic algorithm
objective function
rewrite systems
database
data mining
knowledge base
image segmentation
similarity measure
expert systems
probabilistic model
termination analysis
quantile regression