Church Synthesis Problem for Noisy Input.

Yaron Velner Alexander Rabinovich

Published in: FoSSaCS (2011)

Keyphrases

program synthesis
input data
databases
noisy data
information systems
multimedia
probabilistic model
face recognition
input parameters
probability distribution
artificial neural networks
video sequences
multiscale
database
three dimensional
decision making
data mining
real world
real time