An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation.
Dragomir D. DimitrijevicMon-Song ChenPublished in: INFOCOM (1989)
Keyphrases
- high accuracy
- significant improvement
- learning algorithm
- detection algorithm
- dynamic programming
- cost function
- probabilistic model
- simulated annealing
- computationally efficient
- theoretical analysis
- experimental evaluation
- search space
- np hard
- preprocessing
- worst case
- computational complexity
- times faster
- classification algorithm
- posterior probability
- matching algorithm
- verification method
- ant colony optimization
- optimization algorithm
- segmentation algorithm
- input data
- evolutionary algorithm
- bayesian networks