Instantiations, Zippers and EPR Interpolation.

Nikolaj Bjørner Arie Gurfinkel Konstantin Korovin Ori Lahav

Published in: LPAR (short papers) (2013)

Keyphrases

image interpolation
linear interpolation
data sets
databases
information retrieval
information systems
feature selection
image sequences
preprocessing
interpolation method
spline interpolation
edge directed
sparse sampling
piecewise polynomial