A generic annotation inference algorithm for the safety certification of automatically generated code.

Ewen Denney Bernd Fischer

Published in: GPCE (2006)

Keyphrases

automatically generated
detection algorithm
dynamic programming
learning algorithm
np hard
automatically generate
simulated annealing
objective function
domain specific
computational complexity
k means
image data
expectation maximization