Login / Signup
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