Towards a Practitioners' Approach to Abadi and Lamport's Method.
Kai EngelhardtWillem P. de RoeverPublished in: Formal Aspects Comput. (1995)
Keyphrases
- high accuracy
- experimental evaluation
- similarity measure
- information retrieval
- significant improvement
- prior knowledge
- edge detection
- theoretical analysis
- information systems
- real world
- dynamic programming
- clustering method
- computationally efficient
- error rate
- evaluation method
- experimental study
- mathematical model
- fully automatic
- optimization method
- detection method
- segmentation algorithm
- support vector machine svm
- model selection
- computational cost
- preprocessing