Mechanical Verification of Clock Synchronization Algorithms.
Detlef SchwierFriedrich W. von HenkePublished in: FTRTFT (1998)
Keyphrases
- real time
- computational cost
- computationally efficient
- theoretical analysis
- learning algorithm
- orders of magnitude
- data mining algorithms
- computationally expensive
- image processing algorithms
- data sets
- data mining
- social networks
- decision trees
- significant improvement
- optimization problems
- classification algorithm