A Verified Algorithm Enumerating Event Structures.

Juliana Bowles Marco B. Caminati

Published in: CoRR (2017)

Keyphrases

computational complexity
preprocessing
high accuracy
learning algorithm
improved algorithm
times faster
detection algorithm
expectation maximization

experimental evaluation
k means
np hard
optimal solution
search space
segmentation algorithm
memory requirements
cost function

dynamic programming
computational cost
image processing
experimental study
theoretical analysis
optimization algorithm
reinforcement learning

neural network
decision trees
multiscale
simulated annealing
probabilistic model
multi objective
evolutionary algorithm