Verification of Closest Pair of Points Algorithms.
Martin RauTobias NipkowPublished in: IJCAR (2) (2020)
Keyphrases
- learning algorithm
- pairwise
- times faster
- computational complexity
- decision trees
- significant improvement
- worst case
- orders of magnitude
- point sets
- data sets
- computationally expensive
- computational efficiency
- classification algorithm
- optimization problems
- image sequences
- feature selection
- computer vision
- machine learning
- neural network