On Interpolation and Symbol Elimination in Theory Extensions.

Viorica Sofronie-Stokkermans

Published in: IJCAR (2016)

Keyphrases

theoretical basis
artificial intelligence
computational model
image interpolation
database
decision trees
similarity measure
super resolution
theoretical framework
image reconstruction
efficient implementation
presburger arithmetic