Analysis of List Update Algorithms.
Maximilian P. L. HaslbeckTobias NipkowPublished in: Arch. Formal Proofs (2016)
Keyphrases
- learning algorithm
- data structure
- significant improvement
- recently developed
- computational complexity
- computationally efficient
- machine learning
- databases
- data analysis
- computational efficiency
- optimization problems
- orders of magnitude
- graph theory
- theoretical analysis
- statistical analysis
- computational cost
- image analysis
- artificial intelligence