A formal nethod (a networked formal method).
Peter T. BreuerSimon PickinPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- high accuracy
- segmentation method
- dynamic programming
- detection method
- experimental evaluation
- formal model
- similarity measure
- knowledge base
- cost function
- neural network
- computational cost
- preprocessing
- fully automatic
- computational complexity
- main contribution
- evaluation method
- formal specification
- classification method
- mathematical model
- clustering method
- detection algorithm
- optimization algorithm
- theoretical analysis
- feature set
- d objects
- classification accuracy
- significant improvement
- high resolution