A proof-theoretic analysis of the classical propositional matrix method.

David J. Pym Eike Ritter Edmund Robinson

Published in: J. Log. Comput. (2014)

Keyphrases

significant improvement
theoretic analysis
detection method
knn
high accuracy
similarity measure
evolutionary algorithm
prior knowledge
cost function
experimental evaluation
edge detection
classical methods