The Derivational Complexity Induced by the Dependency Pair Method.

Georg Moser Andreas Schnabl

Published in: RTA (2009)

Keyphrases

synthetic data
pairwise
high accuracy
detection method
neural network
similarity measure
cost function
computational cost
optimization algorithm
segmentation method
high precision
k means
significant improvement
dynamic programming
support vector machine
error rate