Spiking Neural Networks modelled as Timed Automata with parameter learning.
Elisabetta De MariaCinzia Di GiustoLaetitia LaversaPublished in: CoRR (2018)
Keyphrases
- parameter learning
- timed automata
- spiking neural networks
- biologically inspired
- model checking
- bayesian networks
- structure learning
- statistical learning
- conditional random fields
- generative model
- maximum likelihood
- feed forward
- theorem prover
- em algorithm
- artificial neural networks
- biologically plausible
- learning rules
- approximate inference
- theorem proving
- parameter estimation
- graphical models
- neural network
- motor control
- markov random field
- expectation maximization
- real time systems
- first order logic
- hidden variables
- probabilistic model
- information extraction
- network structure
- reinforcement learning
- real time
- similarity measure
- back propagation