A Verified Algorithm Enumerating Event Structures.
Juliana BowlesMarco B. CaminatiPublished in: CICM (2017)
Keyphrases
- theoretical analysis
- cost function
- dynamic programming
- times faster
- learning algorithm
- detection algorithm
- computational complexity
- high accuracy
- linear programming
- computational cost
- experimental evaluation
- k means
- preprocessing
- computationally efficient
- similarity measure
- selection algorithm
- np hard
- worst case
- significant improvement
- search space
- objective function
- improved algorithm
- single pass
- estimation algorithm
- recognition algorithm
- data sets
- experimental study
- expectation maximization
- image segmentation
- image processing
- machine learning