Login / Signup
Neural Networks, Secure by Construction - An Exploration of Refinement Types.
Wen Kokke
Ekaterina Komendantskaya
Daniel Kienitz
Robert Atkey
David Aspinall
Published in:
APLAS (2020)
Keyphrases
</>
neural network
pattern recognition
database
information systems
multi layer
training data
real time
data sets
genetic algorithm
decision making
fuzzy logic
lightweight
self organizing maps
construction process
standard model
query refinement