A New Method to Encode the At-Most-One Constraint into SAT.
Van-Hau NguyenSon Thai MaiPublished in: SoICT (2015)
Keyphrases
- detection method
- experimental evaluation
- high precision
- preprocessing
- support vector machine svm
- high accuracy
- computational cost
- combinatorial optimization
- neural network
- classification method
- orders of magnitude
- significant improvement
- pairwise
- dynamic programming
- cost function
- medical images
- prior knowledge
- optimization algorithm
- detection algorithm
- clustering method
- artificial neural networks
- segmentation method
- computational complexity
- image segmentation
- decision trees