Login / Signup
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