A verification algorithm for Declarative Concurrent Programming

Published in: CoRR (2006)

Keyphrases

preprocessing
cost function
matching algorithm
learning algorithm
computational complexity
optimization algorithm
objective function
optimal solution
k means
significant improvement
expectation maximization
detection algorithm
np hard
dynamic programming
probabilistic model
simulated annealing