A Theory of Register Monitors.

Thomas Ferrère Thomas A. Henzinger N. Ege Saraç

Published in: LICS (2018)

Keyphrases

theoretical basis
neural network
database
data sets
information retrieval
artificial intelligence
case study
information theory
formal theory