A Verified Algorithm Enumerating Event Structures.
Juliana BowlesMarco B. CaminatiPublished 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