Login / Signup
Bounded Linear Types in a Resource Semiring.
Dan R. Ghica
Alex I. Smith
Published in:
ESOP (2014)
Keyphrases
</>
piecewise linear
real time
feature selection
linear programming
linear model
resource constraints
linear systems