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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers