A Novel Classification Technique based on Formal Methods.
Gerardo CanforaFrancesco MercaldoAntonella SantonePublished in: ACM Trans. Knowl. Discov. Data (2023)
Keyphrases
- formal methods
- classification accuracy
- pattern recognition
- feature vectors
- decision trees
- support vector
- classification method
- knowledge base
- multi agent
- expert systems
- support vector machine svm
- knowledge based systems
- process algebra
- artificial intelligence
- formal analysis
- model checking
- text classification
- software engineering
- support vector machine
- relational databases
- feature space
- feature selection