Type-Based Amortised Heap-Space Analysis.

Martin Hofmann Steffen Jost

Published in: ESOP (2006)

Keyphrases

learning algorithm
data structure
real time
data analysis
statistical analysis
learning environment
search algorithm
probabilistic model
quantitative analysis
databases
artificial intelligence
image processing
database systems
bayesian networks
reinforcement learning
wide range