Predicate Formal System based on 1-level Universal AND Operator and its Soundness.

Yingcang Ma Huacan He

Published in: J. Comput. (2013)

Keyphrases

levels of abstraction
knowledge level
databases
feature selection
multiscale
video sequences
expert systems
query language
higher level
lower level