Amortised Resource Analysis with Separation Logic

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

statistical analysis
artificial neural networks
data sets
neural network
artificial intelligence
computer vision
image processing
image segmentation
three dimensional
multiscale
data structure
management system
resource allocation
quantitative analysis