A Discrimination Algorithm Inside lambda-beta-Calculus.
Corrado BöhmMariangiola Dezani-CiancagliniP. PerettiSimona Ronchi Della RoccaPublished in: Theor. Comput. Sci. (1979)
Keyphrases
- detection algorithm
- learning algorithm
- experimental evaluation
- preprocessing
- high accuracy
- computational complexity
- k means
- dynamic programming
- improved algorithm
- times faster
- single pass
- particle swarm optimization
- similarity measure
- search space
- matching algorithm
- theoretical analysis
- computationally efficient
- np hard
- optimization algorithm
- experimental study
- data sets
- probabilistic model
- selection algorithm
- objective function
- provably correct