A practical method of documenting and verifying Ada programs with packages.
David C. LuckhamWolfgang PolakPublished in: SIGPLAN (1980)
Keyphrases
- preprocessing
- experimental study
- detection method
- cost function
- clustering method
- probabilistic model
- support vector machine svm
- main contribution
- theoretical analysis
- mutual information
- synthetic data
- error rate
- optimization algorithm
- pairwise
- objective function
- em algorithm
- bayesian networks
- edge detection
- high accuracy
- experimental evaluation
- prior knowledge
- feature vectors