On proving program correctness by means of stepwise refinement method.
Lech BanachowskiPublished in: Logic of Programs (1980)
Keyphrases
- classification accuracy
- objective function
- significant improvement
- cost function
- detection method
- clustering method
- high accuracy
- high precision
- main contribution
- probabilistic model
- step wise
- evaluation method
- detection algorithm
- theoretical analysis
- feature set
- data sets
- computational cost
- dynamic programming
- artificial neural networks
- support vector
- image sequences
- genetic algorithm
- neural network