A counterexample to sparse removal.

Craig Timmons Jacques Verstraëte

Published in: Eur. J. Comb. (2015)

Keyphrases

sparse data
formal verification
high dimensional
model checking
sparse coding
data sets
sparse representation
decision making
image sequences
data structure
hidden markov models
sparse matrix
sparse pca