Deciding Conditional Termination

Marius Bozga Radu Iosif Filip Konecný

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

rewrite systems
data mining
active rules
conditional logic
random field model
databases
learning algorithm
computer vision
graphical models
term rewriting
quantile regression