FuseIC3: An algorithm for checking large design spaces.
Rohit DurejaKristin Yvonne RozierPublished in: FMCAD (2017)
Keyphrases
- times faster
- computational cost
- high accuracy
- segmentation algorithm
- detection algorithm
- k means
- np hard
- learning algorithm
- optimization algorithm
- dynamic programming
- experimental evaluation
- theoretical analysis
- improved algorithm
- path planning
- preprocessing
- bayesian networks
- genetic algorithm
- expectation maximization
- linear programming
- computational complexity
- recognition algorithm
- neural network