Checking Well-Formedness of Pure-Method Specifications.
Arsenii RudichÁdám DarvasPeter MüllerPublished in: FM (2008)
Keyphrases
- experimental evaluation
- dynamic programming
- experimental study
- mutual information
- detection method
- pairwise
- high precision
- prior knowledge
- high accuracy
- error rate
- evaluation method
- neural network
- optimization method
- optimization algorithm
- support vector machine svm
- theoretical analysis
- computationally efficient
- probabilistic model
- feature vectors
- computational complexity
- video sequences