Synthesis with Identifiers.

Rüdiger Ehlers Sanjit A. Seshia Hadas Kress-Gazit

Published in: VMCAI (2014)

Keyphrases

program synthesis
machine learning
functional programs
real time
artificial intelligence
information systems
image processing
three dimensional
feature extraction
search algorithm
artificial neural networks
trade off
texture synthesis