Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques.

Keiichirou Kusakari Masahiko Sakai

Published in: IEICE Trans. Inf. Syst. (2009)

Keyphrases

pairwise
high accuracy
cost function
artificial intelligence
experimental evaluation
dynamic programming
segmentation method
significant improvement
preprocessing
computational cost
probabilistic model
support vector machine
clustering method
detection method
higher order
objective function
feature set
data sets