Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 10:17, 8 February 2024
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
