A Counterexample to a Conjecture of Niho.

Philippe Langevin Gregor Leander Gary McGuire

Published in: IEEE Trans. Inf. Theory (2007)

Keyphrases

model checking
formal verification
search algorithm
orders of magnitude
benchmark datasets
dynamical systems
learning process
data points
text categorization