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
Link To Document