Register-Bounded Synthesis.

Ayrat Khalimov Orna Kupferman

Published in: CONCUR (2019)

Keyphrases

texture synthesis
genetic algorithm
wide range
asymptotically optimal
program synthesis
databases
learning algorithm
artificial intelligence
computer vision
similarity measure
artificial neural networks
evolutionary algorithm
analog circuits