Instantiation-Based Interpolation for Quantified Formulae.

Jürgen Christ Jochen Hoenicke

Published in: Decision Procedures in Software, Hardware and Bioware (2010)

Keyphrases

image interpolation
interpolation methods
linear interpolation
neural network
digital images
surface interpolation
artificial intelligence
decision making
expert systems
multiresolution
probabilistic model
cubic spline