A fully verified container library.

Nadia Polikarpova Julian Tschannen Carlo A. Furia

Published in: Formal Aspects Comput. (2018)

Keyphrases

pattern recognition
real time
neural network
database
social networks
feature selection
data structure
user interface