A general method for proving the normalization theorem for first and second order typed lambda-calculi.
Venanzio CaprettaSilvio ValentiniPublished in: Math. Struct. Comput. Sci. (1999)
Keyphrases
- preprocessing
- detection method
- significant improvement
- high accuracy
- synthetic data
- computational cost
- high order
- mutual information
- feature set
- higher order
- support vector machine
- classification accuracy
- data sets
- experimental evaluation
- cost function
- prior knowledge
- objective function
- similarity measure
- special case
- multiresolution
- edge detection
- video sequences
- image quality
- optimization algorithm
- multiscale
- high precision
- clustering algorithm