Resource Analysis driven by (Conditional) Termination Proofs.

Elvira Albert Miquel Bofill Cristina Borralleras Enrique Martin-Martin Albert Rubio

Published in: CoRR (2019)

Keyphrases

data driven
statistical analysis
decision trees
conditional probabilities
databases
machine learning
feature selection
image analysis
probabilistic model
quantitative analysis
theorem proving