The Church Synthesis Problem with Parameters.

Alexander Rabinovich

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

parameter values
information retrieval
maximum likelihood
database
real time
neural network
social networks
video sequences
parameter tuning
input parameters
artificial neural networks
evolutionary algorithm
sensitivity analysis
parameter space
program synthesis