A Deduction Method Complete for Refutation and Finite Satisfiability.

François Bry Sunna Torge

Published in: JELIA (1998)

Keyphrases

computational complexity
dynamic programming
high accuracy
detection method
high precision
classification method
similarity measure
objective function
probabilistic model
synthetic data
significant improvement
cost function
support vector machine
edge detection