Enhancing dependency pair method using strong computability in simply-typed term rewriting.
Keiichirou KusakariMasahiko SakaiPublished in: Appl. Algebra Eng. Commun. Comput. (2007)
Keyphrases
- pairwise
- significant improvement
- artificial intelligence
- experimental evaluation
- preprocessing
- cost function
- databases
- segmentation method
- feature set
- dynamic programming
- multi agent
- data sets
- computational complexity
- support vector machine
- high accuracy
- similarity measure
- detection method
- synthetic data
- high precision