Old Web
English
Sign In
Acemap
>
Paper
>
A Model-checking Approach to Reduce Spiking Neural Networks
A Model-checking Approach to Reduce Spiking Neural Networks
2018
Elisabetta De Maria
Daniel Gaffé
Cédric Girard Riboulleau
Annie Ressouche
Keywords:
Computer science
Artificial intelligence
Machine learning
Spiking neural network
Model checking
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]