Partial Correctness of an Algorithm Computing Lucas Sequences.
Adrian JaszczakPublished in: Formaliz. Math. (2020)
Keyphrases
- long sequences
- detection algorithm
- experimental evaluation
- computational complexity
- preprocessing
- cost function
- similarity measure
- recognition algorithm
- times faster
- optimization algorithm
- high accuracy
- computational cost
- learning algorithm
- k means
- expectation maximization
- theoretical analysis
- dynamic programming
- convergence rate
- selection algorithm
- segmentation algorithm
- np hard
- tree structure
- matching algorithm
- hidden markov models
- input data
- improved algorithm
- estimation algorithm
- sequence matching
- probabilistic model