Guiding Craig interpolation with domain-specific abstractions.

Jérôme Leroux Philipp Rümmer Pavle Subotic

Published in: Acta Informatica (2016)

Keyphrases

domain specific
domain independent
general purpose
image interpolation
linear interpolation
high level
interpolation algorithm
database
interpolation method
information extraction
search algorithm
computer vision
real time
domain ontology
information retrieval
data sets
interpolation methods