An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking.
Martin KölblStefan LeuePublished in: ATVA (2019)
Keyphrases
- dynamic programming
- computationally efficient
- computational complexity
- preprocessing
- cost function
- learning algorithm
- times faster
- k means
- significant improvement
- experimental evaluation
- detection algorithm
- high accuracy
- probabilistic model
- optimal solution
- similarity measure
- theoretical analysis
- classification algorithm
- data sets
- search space
- worst case
- data structure
- clustering method
- decision trees
- convex hull
- improved algorithm
- homology generators