Verified Analysis of List Update Algorithms.

Maximilian P. L. Haslbeck Tobias Nipkow

Published in: FSTTCS (2016)

Keyphrases

learning algorithm
orders of magnitude
quantitative analysis
data structure
statistical analysis
database
databases
information retrieval
image processing
image sequences
image analysis
evolutionary algorithm
recently developed
graph theory