Amortised Resource Analysis and Typed Polynomial Interpretations.

Martin Hofmann Georg Moser

Published in: RTA-TLCA (2014)

Keyphrases

website
data analysis
higher order
statistical analysis
database
real time
databases
real world
machine learning
clustering algorithm
case study
database systems
feature extraction
wide range
special case
automatic analysis