A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm.
Hubert GaravelLina MarssoPublished in: MARS@ETAPS (2017)
Keyphrases
- learning algorithm
- recognition algorithm
- expectation maximization
- estimation algorithm
- theoretical analysis
- high accuracy
- computational cost
- improved algorithm
- selection algorithm
- times faster
- computational complexity
- segmentation algorithm
- neural network
- matching algorithm
- classification algorithm
- experimental evaluation
- k means
- particle swarm optimization
- significant improvement
- worst case
- dynamic programming
- optimization algorithm
- feature selection
- knn
- probabilistic model