A neural abstract machine

Journal of Universal Computer Science

Volumn 7, Issue 11, 2001, Pages 1006-1023

  Börger, Egon ^a   Sona, Diego ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Abstract state machines; Distributed computation; Neural abstract machine; Neural networks

Indexed keywords

EID: 14644424406     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. [Berthold and Fischer (1997)] Berthold, M. and Fischer, I., 1997. Formalizing Neural Networks Using Graph Transformations. In Proc. of the IEEE Int. Conf. on Neural Networks, vol. 1, pp. 275-280. IEEE.
2. [Bishop(1995)] Bishop, C., 1995. Neural Networks for Pattern Recognition. Oxford University Press.
3. [Börger(1999)] Börger, E., 1999. High Level System Design and Analysis using Abstract State Machines. In Current Trends in Applied Formal Methods (FM-Trends 98), eds. D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, vol. 1641 of LNCS, pp. 1-43. Berlin Heidelberg New York: Springer-Verlag.
4. [Börger(2001)] Börger, E., 2001. Design for Reuse via Structuring Techniques for ASMs. In Proc. EUROCAST'2001 (Las Palmas). Springer LNCS.
5. [Börger and Schmid(2000)[ Börger, E. and Schmid, J., 2000. Composition and Submachine Concepts for Sequential ASMs. In Computer Science Logic (Gurevich Festschrift). Proc. 14th International Workshop CSL, eds. P. Clote and H. Schwichtenberg, Springer LNCS 1862, pp. 41-60.
6. [Campolucci et al.(2000)] Campolucci, P., Uncini, A., and Piazza, F., 2000. A Signal-Flow-Graph Approach to On-line Gradient Calculation. Neural Computation 12, no. 8:1901-1927.
7. [Giles and Gori(1998)] Giles, C. and Gori, M., eds., 1998. Adaptive Processing of Sequences and Data structures. LNAI. Heidelberg, Germany: Springer.
8. [Gurevich(1995)] Gurevich, Y., 1995. Evolving Algebras 1993: Lipari Guide. In Specification and Validation Methods, ed. E. Börger, pp. 9-36. Oxford University Press.
9. [Haykin(1999)] Haykin, S., 1999. Neural Networks, A Comprehensive Foundation. Prentice Hall, second edn.
10. [Nerrand et al.(1993)] Nerrand, O., Roussel-Ragot, P., Personnaz, L., Dreyfus, G., and Marcos, S., 1993. Neural Networks and Nonlinear Adaptive Filtering: Unifying Concepts and New Algorithms. Neural Computation 5, no. 2:165-199.
11. [Rumelhart et al.(1986)] Rumelhart, D. E., Hinton, G. E., and Williams, R. J., 1986. Learning Internal Representations by Error Propagation. In Parallel Distributed Processing: Explorations in the Microstructure of Cognition. Vol. 1: Foundations, eds. D. Rumelhart, J. McClelland, and the POP Research Group. MIT Press.
12. [Santini et al.(1995)] Santini, S., Bimbo, A. D., and Jain, R., 1995. Block structured recurrent neural networks. Neural Networks 8:135-147.
13. [Sona and Sperduti(2001)] Sona, D. and Sperduti, A., 2001. Modeling in the neural abstract machine framework. LFTNC 2001 - NATO Advanced Research Workshop on Limitations and Future Trends in Neural Computation- Siena, Italy 22 - 24 October 2001. Accepted.
14. [Stärk et al.(2001)] Stärk, R., Schmid, J., and Börger, E., 2001. Java and the Java Virtual Machine: Definition, Verification, Validation.. Berlin-Heidelberg-New York: Springer-Verlag.
15. [Tsoi(1998a)] Tsoi, A., 1998a. Gradient Based Learning Methods. LNCS 1387:27-62.
16. [Tsoi(1998b)] Tsoi, A., 1998b. Recurrent Neural Network Architectures: An Overview. LNCS 1387:1-26.
17. [Wan and Beaufays(1998)] Wan, E. and Beaufays, F., 1998. Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms. Lecture Notes in Computer Science 1387:63-98.
18. [Williams and Zipser(1989)] Williams, R. J. and Zipser, D., 1989. A Learning Algorithm for Continually Running Fully Recurrent Neural Networks. Neural Computation 1:270-280.