Verified Textbook Algorithms - A Biased Survey.
Tobias NipkowManuel EberlMaximilian P. L. HaslbeckPublished in: ATVA (2020)
Keyphrases
- computationally efficient
- data mining
- graph theory
- orders of magnitude
- optimization problems
- data structure
- information systems
- learning algorithm
- image sequences
- reinforcement learning
- website
- computer science
- significant improvement
- worst case
- artificial intelligence
- classification algorithm
- computational efficiency
- times faster
- neural network