C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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