A Tableau Method for the Lambek Calculus based on a Matrix Characterization.
Leonardo B. VanaMarcelo da Silva CorrêaPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- significant improvement
- preprocessing
- knowledge base
- high precision
- detection method
- computational cost
- cost function
- sparse matrix
- neural network
- covariance matrix
- similarity measure
- multiscale
- prior knowledge
- model selection
- image sequences
- classification method
- missing data
- synthetic data
- objective function
- support vector machine svm
- computationally efficient
- input data
- medical images
- description logics
- high accuracy
- classification accuracy
- pairwise
- dynamic programming
- feature vectors