Lookahead analysis in exact real arithmetic with logical methods.

Nils Köpp Helmut Schwichtenberg

Published in: Theor. Comput. Sci. (2023)

Keyphrases

significant improvement
image analysis
computational cost
machine learning methods
optimization methods
database
computer vision
statistical models
computationally expensive
quantitative analysis
methods require