A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.

Patrick Lincoln John M. Rushby

Published in: FTCS (1993)

Keyphrases

computational cost
optimal solution
worst case
computational complexity
preprocessing
dynamic programming
search space
cost function
k means
detection algorithm
segmentation algorithm
matching algorithm
learning algorithm
optimization algorithm
np hard
query processing
objective function