A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi.
Marina LenisaPublished in: TAPSOFT (1997)
Keyphrases
- computational cost
- preprocessing
- fully automatic
- dynamic programming
- main contribution
- computationally efficient
- high accuracy
- evaluation method
- matching algorithm
- synthetic data
- theoretical analysis
- experimental evaluation
- significant improvement
- objective function
- image sequences
- input data
- support vector machine
- classification accuracy
- detection method
- prior knowledge
- k means
- optimization method