A pragmatic formal method (PFM) for computer system definition and execution.
Stephanie WhitePublished in: RSP (1992)
Keyphrases
- computer systems
- preprocessing
- significant improvement
- high accuracy
- hardware and software
- high precision
- synthetic data
- information systems
- detection method
- support vector machine svm
- edge detection
- objective function
- support vector machine
- experimental evaluation
- operating system
- dynamic programming
- computational complexity
- segmentation method
- similarity measure
- neural network
- software developers
- formal specification