Sign in
Keynote talk I: Syntax-guided synthesis.
Rajeev Alur
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