A Few Notes on Formal Balls.

Jean Goubault-Larrecq Kok Min Ng

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

multiscale
formal methods
trade off
formal model
real time
neural network
web services
database
databases
artificial intelligence
data streams
computational complexity
information technology
hidden markov models
note taking