A Combinatorial Proof of S-adicity for Sequences with Linear Complexity.

Julien Leroy Gwénaël Richomme

Published in: Integers (2013)

Keyphrases

linear complexity
hidden markov models
long sequences
theorem prover
linear computational complexity
test sequences
sequence alignment
social networks
linear logic
data sets
data structure
bayesian networks
web services
computational geometry
pseudorandom
data mining
neural network