Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692)
From MaRDI portal
scientific article; zbMATH DE number 7441081
Language | Label | Description | Also known as |
---|---|---|---|
English | Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness |
scientific article; zbMATH DE number 7441081 |
Statements
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (English)
0 references
8 December 2021
0 references
machine learning
0 references
cross-validation
0 references
computer algebra
0 references
symbolic computation
0 references
cylindrical algebraic decomposition
0 references
0 references
0 references
0 references
0 references