A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
Alberto MomiglianoSimon AmblerRoy L. CrolePublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- high accuracy
- experimental evaluation
- classification accuracy
- preprocessing
- detection method
- encoding scheme
- objective function
- significant improvement
- cost function
- dynamic programming
- computational cost
- clustering method
- probabilistic model
- optimization method
- error rate
- support vector machine svm
- main contribution
- em algorithm
- support vector machine
- computer vision
- prior knowledge
- training data
- similarity measure