• DocumentCode
    1622088
  • Title

    Validating connectionist implementations

  • Author

    Klyne, S.

  • Author_Institution
    Exeter Univ., UK
  • fYear
    1995
  • Firstpage
    228
  • Lastpage
    233
  • Abstract
    We present a method for validating implementations of connectionist algorithms by comparison with known versions. The method is dependent on a statistical model derived from work in multiversion programming techniques. We present example results which reveal that two variations of the backpropagation algorithm which are widely accepted as mere implementation variants do actually produce networks with some levels of differences. It is suggested that this method could be a useful validation tool for developers of variants of known algorithms
  • Keywords
    backpropagation; formal verification; neural nets; backpropagation algorithm; connectionist algorithms; connectionist implementations; multiversion programming techniques; neural network; statistical model;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Artificial Neural Networks, 1995., Fourth International Conference on
  • Conference_Location
    Cambridge
  • Print_ISBN
    0-85296-641-5
  • Type

    conf

  • DOI
    10.1049/cp:19950559
  • Filename
    497821