Automatic amortized resource analysis with the Quantum physicist's method.
David M. KahnJan HoffmannPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- preprocessing
- fully automatic
- dynamic programming
- classification method
- computational complexity
- significant improvement
- cost function
- support vector machine
- classification accuracy
- high precision
- resource allocation
- segmentation method
- clustering method
- detection algorithm
- support vector machine svm
- edge detection
- upper bound
- neural network
- probabilistic model
- computational cost
- similarity measure
- image sequences
- information retrieval