The need for a core method DIALOG - Linking formal proof to the design environment.
Eleanor M. MaygerM. D. FrancisR. L. HarrisGerry MusgraveMichael P. FourmanPublished in: Microprocessing and Microprogramming (1991)
Keyphrases
- high accuracy
- optimization algorithm
- experimental evaluation
- synthetic data
- detection method
- similarity measure
- objective function
- classification method
- significant improvement
- classification accuracy
- support vector machine
- formal proof
- data sets
- fully automatic
- segmentation method
- feature set
- probabilistic model
- computational cost
- evolutionary algorithm
- pairwise
- case study
- genetic algorithm