Parameterized Synthesis.

Swen Jacobs Roderick Bloem

Published in: TACAS (2012)

Keyphrases

program synthesis
wide range
real time
texture synthesis
database
databases
computer vision
decision making
three dimensional
control system
probability distribution
functional programs