Login / Signup
Specification and Formal Analysis of a PLAN Algorithm in Maude.
Bow-Yaw Wang
José Meseguer
Carl A. Gunter
Published in:
ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
</>
formal analysis
detection algorithm
optimization algorithm
learning algorithm
cost function
preprocessing
dynamic programming
computational complexity
decision trees
objective function
computational cost
segmentation algorithm
convergence rate
similarity measure
significant improvement
matching algorithm