First-order interpolation derived from propositional interpolation.

Matthias Baaz Anela Lolic

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

Keyphrases

first order logic
image interpolation
interpolation method
interpolation methods
low pass filtering
linear interpolation
cubic spline
edge directed
sparse sampling
piecewise polynomial