Facets of Synthesis: Revisiting Church's Problem.

Wolfgang Thomas

Published in: FoSSaCS (2009)

Keyphrases

program synthesis
database
multiscale
texture synthesis
functional programs
machine learning
artificial intelligence
decision making
object recognition
expert systems