Login / Signup
A program synthesis algorithm exemplified.
Steffen Lange
Published in:
Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases
</>
program synthesis
learning algorithm
np hard
computational complexity
preprocessing
detection algorithm
optimal solution
objective function
k means
particle swarm optimization
search space
probabilistic model
expectation maximization
bayesian framework