Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification.
Ranko LazicPublished in: INFINITY (2004)
Keyphrases
- classification systems
- automatic classification
- support vector
- machine learning
- decision trees
- management system
- computer systems
- pattern classification
- classification method
- preprocessing
- feature extraction
- pattern recognition
- classification process
- expert systems
- text classification
- classification algorithm
- database systems
- classification scheme
- face recognition
- classification rules
- machine learning methods
- retrieval systems
- classification accuracy
- complex systems
- training samples
- model selection
- description logics
- state space