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 :
بازگشت