Correcting a Space-Efficient Simulation Algorithm.

Rob J. van Glabbeek Bas Ploeger

Published in: CAV (2008)

Keyphrases

space efficient
learning algorithm
detection algorithm
k means
mathematical model
data structure
optimal solution
preprocessing
dynamic programming
data sets
objective function
search space
simulated annealing
suffix array
database
bloom filter
expectation maximization
probabilistic model
np hard
relational databases