Formal Analysis of a Distributed Algorithm for Tracking Progress.

Martín Abadi Frank McSherry Derek Gordon Murray Thomas L. Rodeheffer

Published in: FMOODS/FORTE (2013)

Keyphrases

formal analysis
learning algorithm
dynamic programming
expectation maximization
optimal solution
preprocessing
k means
segmentation algorithm
detection algorithm
objective function
kalman filter
image sequences
computational complexity
np hard
probabilistic model
building blocks