Login / Signup
A Reusable Machine-Calculus for Automated Resource Analyses.
Hector Suzanne
Emmanuel Chailloux
Published in:
LOPSTR (2023)
Keyphrases
</>
semi automated
resource allocation
fully automated
data driven
database
data sets
genetic algorithm
special case
description logics
resource consumption
algebraic structure