Automated Complexity Analysis Based on the Dependency Pair Method
Nao HirokawaGeorg MoserPublished in: CoRR (2011)
Keyphrases
- complexity analysis
- main contribution
- theoretical analysis
- pairwise
- computationally efficient
- fully automatic
- detection method
- evaluation method
- high accuracy
- data sets
- preprocessing
- objective function
- feature selection
- clustering method
- similarity measure
- optimization algorithm
- genetic algorithm
- optimization method
- synthetic data
- error rate
- lower bound
- feature set
- computational cost
- dynamic programming