A computer checked algebraic verification of a distributed summation algorithm.
Jan Friso GrooteFrançois MoninJan SpringintveldPublished in: Formal Aspects Comput. (2005)
Keyphrases
- detection algorithm
- search space
- cost function
- high accuracy
- preprocessing
- improved algorithm
- recognition algorithm
- dynamic programming
- experimental evaluation
- matching algorithm
- theoretical analysis
- optimization algorithm
- expectation maximization
- times faster
- clustering method
- computationally efficient
- learning algorithm
- cooperative
- computer systems
- single pass
- convergence rate
- probabilistic model
- reinforcement learning