Structural Embeddings: Mechanization with Method.
César A. MuñozJohn M. RushbyPublished in: World Congress on Formal Methods (1999)
Keyphrases
- detection method
- high accuracy
- computationally efficient
- fully automatic
- theoretical analysis
- high precision
- preprocessing
- segmentation method
- main contribution
- probabilistic model
- experimental evaluation
- significant improvement
- computational cost
- segmentation algorithm
- clustering method
- prior knowledge
- clustering algorithm
- optimization method
- evaluation method