Algebraic specification and correctness of artificial neural networks
This thesis proposes a framework, based on formal methods, for the design, specification, and analysis of 1. neurocomputers as seen from the perspective of hardware, and 2. real world tasks as seen from the perspective of a user, in order to give useful definitions of correctness. We apply the theor...
| Main Author: | |
|---|---|
| Published: |
Swansea University
1994
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636706 |