Login / Signup
Transportation Proof of an inequality by Anantharam, Jog and Nair.
Thomas A. Courtade
Published in:
CoRR (2019)
Keyphrases
</>
theorem prover
theorem proving
proof theory
decision making
lower bound
transportation systems
data sets
learning algorithm
computer vision
image processing
database systems
probabilistic model
traffic flow
incident detection