Establishing Safety Criteria for Artificial Neural Networks
暂无分享,去创建一个
[1] Casimir C. Klimasauskas. Neural nets tell why , 1991 .
[2] Daniel N. Osherson,et al. Modular learning , 1993 .
[3] R. S. Venema,et al. Aspects of an integrated neural prediction system , 1999 .
[4] Berend Jan van der Zwaag,et al. Process identification through modular neural networks and rule extraction , 2002 .
[5] Paulo J,et al. Industrial use of safety-related artificial neural networks , 2001 .
[6] Noel E. Sharkey,et al. Combining diverse neural nets , 1997, The Knowledge Engineering Review.
[7] John A. McDermid,et al. Software Safety Arguments: Towards a Systematic Categorisation of Evidence , 2002 .
[8] Tim Kelly,et al. Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .
[9] Joachim Diederich,et al. Survey and critique of techniques for extracting rules from trained artificial neural networks , 1995, Knowl. Based Syst..
[10] Wen Wu,et al. Towards Developing Verifiable Neural Network Controller , 1996 .
[11] Peter Neumann,et al. Safeware: System Safety and Computers , 1995, SOEN.
[12] Ian T. Nabney,et al. Practical Assessment of Neural Network Applications , 1997, SAFECOMP.
[13] Amanda J. C. Sharkey,et al. Modularity, Combining and Artificial Neural Nets , 1997, Connect. Sci..
[14] David M. Rodvold. A software development process model for artificial neural networks in critical applications , 1999, IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).
[15] Michael Kearns,et al. A Bound on the Error of Cross Validation Using the Approximation and Estimation Rates, with Consequences for the Training-Test Split , 1995, Neural Computation.
[16] Georg Dorffner,et al. Formal neural network specification and its implications on standardization , 1999 .