Reasoning about Objects Using a Tableau Method.
Renwei LiAmílcar SernadasPublished in: J. Log. Comput. (1991)
Keyphrases
- high accuracy
- cost function
- high precision
- similarity measure
- classification method
- detection method
- clustering method
- significant improvement
- prior knowledge
- dynamic programming
- experimental evaluation
- synthetic data
- neural network
- computational cost
- computational complexity
- description logics
- support vector machine svm
- video sequences
- objective function