A Unified Method for the Specification and Verification of Protocols.
Gregor von BochmannJan GecseiPublished in: IFIP Congress (1977)
Keyphrases
- pairwise
- detection method
- experimental evaluation
- significant improvement
- objective function
- classification method
- high accuracy
- dynamic programming
- cost function
- computational cost
- error rate
- synthetic data
- detection algorithm
- clustering method
- computational complexity
- fully automatic
- prior knowledge
- multiresolution
- evolutionary algorithm
- mutual information
- decision trees