A Saturation Method for Collapsible Pushdown Systems.
Christopher H. BroadbentArnaud CarayolMatthew HagueOlivier SerrePublished in: ICALP (2) (2012)
Keyphrases
- high precision
- cost function
- synthetic data
- main contribution
- theoretical analysis
- experimental evaluation
- detection method
- management system
- high accuracy
- complex systems
- support vector machine svm
- computationally efficient
- support vector machine
- mathematical model
- computational complexity
- segmentation method
- clustering method
- classification method
- optimization method
- computer systems
- segmentation algorithm
- information retrieval
- image quality
- input data
- mutual information
- feature set
- computational cost
- significant improvement
- preprocessing
- face recognition