Simple Dependent Types for OSTRICH.

Published in: IFM (2022)

Keyphrases

database
real time
highly reliable
databases
machine learning
reinforcement learning
pattern recognition
object recognition
pairwise
multiresolution