Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
Attributed to:
Embedding Machine Learning within Quantifier Elimination Procedures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-43120-4_27
Publication URI: http://dx.doi.org/10.1007/978-3-030-43120-4_27
Type: Book Chapter
Book Title: Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers (2020)
Page Reference: 341-356
ISSN: 16113349 03029743