Synthesis and Some of Its Challenges.

Wolfgang Thomas

Published in: CAV (2012)

Keyphrases

lessons learned
real world
open questions
open issues
key issues
program synthesis
recommender systems
image processing
relational databases
trade off
digital libraries
feature selection
texture synthesis
technical challenges
computer vision
genetic algorithm
database