Flexible interpolation with local proof transformations.

Roberto Bruttomesso Simone Rollini Natasha Sharygina Aliaksei Tsitovich

Published in: ICCAD (2010)

Keyphrases

image interpolation
learning algorithm
interpolation method
interpolation algorithm
image processing
database systems
expert systems
frequency domain
affine transformation
natural deduction