VDM as a Specification Method for Telecommunications Software.
Thomas LetschertPublished in: VDM Europe (1987)
Keyphrases
- high accuracy
- experimental evaluation
- high precision
- pairwise
- clustering method
- computational cost
- significant improvement
- theoretical analysis
- cost function
- dynamic programming
- detection method
- case study
- source code
- synthetic data
- classification method
- main contribution
- classification accuracy
- model selection
- mutual information
- data sets
- probabilistic model
- prior knowledge
- artificial neural networks
- clustering algorithm