Some Guidelines for Formal Development of Web-Based Applications in B-Method.
Abdolbaghi RezazadehMichael J. ButlerPublished in: ZB (2005)
Keyphrases
- experimental evaluation
- detection method
- high accuracy
- synthetic data
- clustering method
- classification accuracy
- cost function
- mathematical model
- segmentation method
- objective function
- high precision
- case study
- genetic algorithm
- data sets
- edge detection
- mutual information
- computationally efficient
- theoretical analysis
- fully automatic
- optimization method
- software engineering
- probabilistic model
- dynamic programming
- pairwise
- computational complexity
- feature extraction
- information systems
- information retrieval