Computable Analysis for Verified Exact Real Computation.

Michal Konecný Florian Steinberg Holger Thies

Published in: FSTTCS (2020)

Keyphrases

statistical analysis
pattern recognition
real life
real time
machine learning
high level
reinforcement learning
wide range
video sequences
cooperative
database
data analysis
expert systems
databases
image analysis
recommender systems
control system
graphical models