Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.
Elisabetta De MariaCinzia Di GiustoPublished in: BIOINFORMATICS (2018)
Keyphrases
- parameter learning
- timed automata
- spiking neural networks
- biologically inspired
- model checking
- bayesian networks
- structure learning
- conditional random fields
- statistical learning
- theorem prover
- maximum likelihood
- generative model
- em algorithm
- feed forward
- learning rules
- biologically plausible
- artificial neural networks
- theorem proving
- parameter estimation
- first order logic
- expectation maximization
- approximate inference
- neural network
- graphical models
- markov random field
- expert systems
- real time systems
- training algorithm
- image segmentation
- decision trees
- back propagation
- fuzzy logic
- hidden variables
- real time
- conditional independence
- hidden markov models
- high dimensional