Login / Signup

First-order interpolation derived from propositional interpolation.

Matthias BaazAnela 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