Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.
Dominique CansellDominique MéryStephan MerzPublished in: GI Jahrestagung (1) (2001)
Keyphrases
- formal analysis
- optimization algorithm
- learning algorithm
- cost function
- dynamic programming
- experimental evaluation
- np hard
- significant improvement
- preprocessing
- computational complexity
- computational cost
- convergence rate
- detection algorithm
- optimal solution
- probabilistic model
- matching algorithm
- segmentation algorithm
- objective function
- lower complexity
- recognition algorithm
- worst case
- knowledge representation
- expert systems
- case study