Calibrated Forecasts: The Minimax Proof.

Published in: CoRR (2022)

Keyphrases

worst case
short term
computer vision
multi view
linear logic
theorem prover
real time
case study
data mining techniques
historical data
geometry theorem proving
natural deduction
automated theorem proving
alpha beta
upper bound
artificial neural networks
multiscale
image sequences
genetic algorithm
neural network