Keynote talk I: Syntax-guided synthesis.

Published in: MEMOCODE (2015)

Keyphrases

texture synthesis
high level
natural language
key issues
program synthesis
data sets
feature selection
neural network
knowledge discovery and data mining
precisely defined
data mining
machine learning
relational databases
analog circuits
rule language
functional programs