Tableau Method and NEXPTIME-Completeness of DEL-Sequents.
Guillaume AucherBastien MaubertFrançois SchwarzentruberPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- detection method
- preprocessing
- high accuracy
- clustering method
- high precision
- synthetic data
- experimental evaluation
- computational cost
- similarity measure
- classification method
- edge detection
- probability distribution
- dynamic programming
- cost function
- significant improvement
- pairwise
- probabilistic model
- knowledge representation
- upper bound
- feature set
- support vector machine svm
- lower bound
- computational complexity
- objective function
- genetic algorithm