Reductions for Synthesis Procedures.

Swen Jacobs Viktor Kuncak Philippe Suter

Published in: VMCAI (2013)

Keyphrases

efficient computation
wide range
texture synthesis
program synthesis
data sets
computer vision
case study
search algorithm
statistical methods