Automated Complexity Analysis Based on the Dependency Pair Method.
Nao HirokawaGeorg MoserPublished in: IJCAR (2008)
Keyphrases
- complexity analysis
- cost function
- high precision
- pairwise
- dynamic programming
- detection method
- main contribution
- theoretical analysis
- similarity measure
- computational complexity
- significant improvement
- high accuracy
- evaluation method
- fully automatic
- image processing
- mutual information
- data sets
- error rate
- synthetic data
- mathematical model
- semi supervised
- prior knowledge
- bayesian networks