Spiking neural networks modelled as timed automata: with parameter learning.
Elisabetta De MariaCinzia Di GiustoLaetitia LaversaPublished in: Nat. Comput. (2020)
Keyphrases
- parameter learning
- timed automata
- spiking neural networks
- biologically inspired
- bayesian networks
- model checking
- structure learning
- statistical learning
- conditional random fields
- generative model
- maximum likelihood
- theorem prover
- feed forward
- learning rules
- em algorithm
- biologically plausible
- artificial neural networks
- markov random field
- approximate inference
- parameter estimation
- first order logic
- theorem proving
- motor control
- real time systems
- hidden variables
- neural network
- graphical models
- expectation maximization
- training algorithm
- dynamic programming
- real time
- image processing
- computer vision
- probabilistic model
- artificial intelligence
- radial basis function
- probability distribution
- belief propagation
- learning algorithm