Ultimate Automizer with Array Interpolation - (Competition Contribution).

Matthias Heizmann Daniel Dietsch Jan Leike Betim Musa Andreas Podelski

Published in: TACAS (2015)

Keyphrases

image interpolation
information systems
interpolation methods
search algorithm
antenna array
piecewise polynomial
data sets
information retrieval
artificial intelligence
search engine
multiscale
image quality
linear interpolation
edge directed