Alembic: An Efficient Algorithm for CNF Preprocessing.
HyoJung HanFabio SomenziPublished in: DAC (2007)
Keyphrases
- preprocessing
- experimental evaluation
- dynamic programming
- optimization algorithm
- detection algorithm
- times faster
- k means
- matching algorithm
- cost function
- high accuracy
- improved algorithm
- image processing
- search space
- highly efficient
- probabilistic model
- computational complexity
- recognition algorithm
- learning algorithm
- bayesian networks
- preprocessing stage
- search strategy
- randomly generated
- path planning
- segmentation algorithm
- post processing
- theoretical analysis
- computationally efficient
- input data
- significant improvement
- lower bound
- optimal solution
- objective function