A Decision Tree Abstract Domain for Proving Conditional Termination.

Caterina Urban Antoine Miné

Published in: SAS (2014)

Keyphrases

decision trees
domain specific
domain independent
decision tree induction
high level
random variables
logistic regression
data mining
machine learning
multiscale
data structure
multi class
naive bayes
transfer learning
term rewriting
term rewrite systems