An Example of Process Verification: The Gries/Dijkstra Design Method.
Robert B. TerwilligerPublished in: ACM SIGSOFT Softw. Eng. Notes (1993)
Keyphrases
- experimental evaluation
- detection method
- high precision
- high accuracy
- recognition process
- fully automatic
- preprocessing
- similarity measure
- cost function
- dynamic programming
- computational cost
- support vector machine
- optimization process
- case study
- design process
- computational complexity
- synthetic data
- theoretical analysis
- image processing
- classification process
- training process
- pairwise
- software development
- edge detection
- data sets
- prior knowledge