A method for verifying liveness of protocols modeled as a class of ECFSM.
Masahiro HiguchiS. SugawaMamoru FujiiPublished in: PSTV (1994)
Keyphrases
- theoretical analysis
- high accuracy
- cost function
- support vector machine svm
- clustering method
- high precision
- preprocessing
- detection method
- fully automatic
- pairwise
- classification method
- experimental evaluation
- objective function
- optimization method
- image registration
- detection algorithm
- verification method
- mutual information
- neural network
- probabilistic model
- computational cost
- dynamic programming
- significant improvement
- multiscale
- image segmentation
- decision trees