Verification of the Incremental Merkle Tree Algorithm with Dafny.
Franck CassezPublished in: FM (2021)
Keyphrases
- tree structure
- computational complexity
- learning algorithm
- times faster
- dynamic programming
- incremental version
- experimental evaluation
- matching algorithm
- segmentation algorithm
- detection algorithm
- improved algorithm
- computational cost
- high accuracy
- cost function
- single pass
- binary tree
- tree construction
- search space
- input data
- linear programming
- pattern matching
- probabilistic model
- incremental learning
- k means
- spanning tree
- unordered trees
- mining high utility itemsets