Interval-based Synthesis.

Angelo Montanari Pietro Sala

Published in: GandALF (2014)

Keyphrases

temporal reasoning
program synthesis
functional programs
decision making
website
image retrieval
texture synthesis
temporal information
medical images
evolutionary algorithm
artificial neural networks
database
search algorithm
three dimensional
case study
information retrieval
data sets