On Feller Continuity and Full Abstraction (Long Version).

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

Published in: CoRR (2022)

Keyphrases

high level
real time
object oriented
long period
image processing
original version
database
data sets
real world
social networks
computer vision
feature selection
database systems
expert systems
long sequences