A Unification Algorithm for Analysis of Protocols with Blinded Signatures.
Deepak KapurPaliath NarendranLida WangPublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- learning algorithm
- experimental evaluation
- probabilistic model
- np hard
- computational complexity
- preprocessing
- improved algorithm
- times faster
- clustering method
- detection algorithm
- dynamic programming
- k means
- segmentation algorithm
- data structure
- convergence rate
- search space
- matching algorithm
- objective function
- expectation maximization
- cost function
- computationally efficient
- theoretical analysis
- significant improvement
- higher order
- tree structure
- worst case
- data mining
- image segmentation
- selection algorithm