An Industrial-Strength Method For The Construction Of Formally Verified Software.
Peter A. LindsayDavid HemerPublished in: Australian Software Engineering Conference (1996)
Keyphrases
- clustering method
- computationally efficient
- high accuracy
- optimization method
- fully automatic
- cost function
- computational cost
- preprocessing
- experimental evaluation
- synthetic data
- dynamic programming
- support vector machine
- industrial strength
- classification method
- high precision
- generation method
- databases
- knowledge discovery
- probabilistic model
- significant improvement
- prior knowledge
- user interface
- pairwise
- computational complexity
- multiscale
- similarity measure
- case study
- neural network