Lazy Synthesis.

Bernd Finkbeiner Swen Jacobs

Published in: VMCAI (2012)

Keyphrases

program synthesis
real time
texture synthesis
neural network
trade off
hidden markov models
database
information systems
metadata
web services
bayesian networks
object recognition
special case