FAR-Cubicle - A new reachability algorithm for Cubicle.
Sylvain ConchonAmit GoelSava KrsticRupak MajumdarMattias RouxPublished in: CoRR (2018)
Keyphrases
- optimal solution
- times faster
- detection algorithm
- cost function
- optimization algorithm
- theoretical analysis
- np hard
- estimation algorithm
- learning algorithm
- improved algorithm
- computationally efficient
- dynamic programming
- expectation maximization
- high accuracy
- simulated annealing
- machine learning
- computational cost
- experimental evaluation
- significant improvement
- genetic algorithm
- scheduling problem
- hardware implementation
- bayesian networks
- recognition algorithm
- convergence rate
- computational complexity
- matching algorithm
- segmentation method
- experimental study
- shortest path
- feature space
- artificial neural networks
- support vector machine svm
- search space
- linear programming