Type-Based Amortized Resource Analysis with Integers and Arrays.

Jan Hoffmann Zhong Shao

Published in: FLOPS (2014)

Keyphrases

website
statistical analysis
data sets
neural network
case study
multi dimensional
resource management
machine learning
decision trees
bayesian networks
objective function
artificial neural networks