From Predicates to Programs: The Semantics of a Method Language.
David FaitelsonJames WelchJim DaviesPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- high accuracy
- cost function
- computational cost
- similarity measure
- significant improvement
- probabilistic model
- high precision
- detection method
- experimental evaluation
- pairwise
- objective function
- support vector machine
- segmentation algorithm
- clustering method
- computational complexity
- synthetic data
- segmentation method