Reasoning about almost-certain convergence properties using Event-B.

Published in: Sci. Comput. Program. (2014)

Keyphrases

desirable properties
real time
event detection
neural network
convergence rate
data sets
genetic algorithm
computer vision
artificial neural networks
structural properties
faster convergence