36 citations · 236 across the 52 of their papers we have counts for
3 papers · 1 filter
Frugal Machine Learning
Mikhail Evchenko, Joaquin Vanschoren, Holger H. Hoos +2
Machine learning, already at the core of increasingly many systems and applications, is set to become even more ubiquitous with the rapid rise of wearable devices and the Internet…
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer +2
The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tool…
Paradiseo: From a Modular Framework for Evolutionary Computation to the Automated Design of Metaheuristics ---22 Years of Paradiseo---
Johann Dreo, Arnaud Liefooghe, Sébastien Verel +5
The success of metaheuristic optimization methods has led to the development of a large variety of algorithm paradigms. However, no algorithm clearly dominates all its competitors…