Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach.
Anna GomolinskaPublished in: Fundam. Informaticae (2008)
Keyphrases
- object classification
- cnf formula
- propositional formulas
- conjunctive normal form
- object recognition
- boolean formula
- satisfiability problem
- object detection
- propositional logic
- np complete
- pedestrian detection
- object categories
- face recognition
- feature hierarchies
- sat problem
- computational complexity
- image understanding
- support vector