On Feller continuity and full abstraction.

Gilles Barthe Raphaëlle Crubillé Ugo Dal Lago Francesco Gavazzo

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

high level
data abstraction
neural network
image processing
case study
computer vision
feature extraction
object recognition
probabilistic model