An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus.

Jin-Zhao Wu Hong-Yan Tan

Published in: ISMVL (1994)

Keyphrases

high precision
theoretical analysis
preprocessing
dynamic programming
high accuracy
optimization algorithm
data sets
objective function
video sequences
significant improvement
experimental evaluation
computational cost
feature set
computationally efficient
clustering method
segmentation method