FAR-Cubicle - A new reachability algorithm for Cubicle.
Sylvain ConchonAmit GoelSava KrsticRupak MajumdarMattias RouxPublished in: FMCAD (2017)
Keyphrases
- preprocessing
- computational cost
- np hard
- high accuracy
- learning algorithm
- linear programming
- improved algorithm
- cost function
- selection algorithm
- k means
- support vector machine svm
- neural network
- space complexity
- expectation maximization
- theoretical analysis
- detection algorithm
- experimental study
- classification algorithm
- matching algorithm
- times faster
- recognition algorithm
- significant improvement
- probabilistic model
- search algorithm
- single pass
- data sets
- decision trees
- similarity measure
- objective function
- convex hull
- optimal solution
- video sequences
- computational complexity
- moving objects
- optimization algorithm
- search space
- dynamic programming
- input data
- experimental evaluation