Deriving Correct High-Performance Algorithms.
Devangi N. ParikhMaggie E. MyersRobert A. van de GeijnPublished in: CoRR (2017)
Keyphrases
- learning algorithm
- computationally efficient
- orders of magnitude
- computational efficiency
- computational complexity
- optimization problems
- theoretical analysis
- computer vision
- website
- significant improvement
- computational cost
- computer vision algorithms
- real time
- highly efficient
- recently developed
- artificial intelligence
- neural network
- data sets