462 search results - page 13 / 93 » Verifying Properties of Neural Networks |
ICANN
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a novel system that performs text-independent speaker authentication using new spiking neural network (SNN) architectures. Each speaker is represented by a set ...
CIBB
2008
13 years 9 months ago
2008
A system for utilizing an artificial neural network to predict splice sites in genes has been studied. The neural network uses a sliding window of nucleotides over a gene and predi...
TNN
2008
13 years 7 months ago
2008
Abstract-- A major drawback of artificial neural networks (ANNs) is their black-box character. This is especially true for recurrent neural networks (RNNs) because of their intrica...
ADCM
2000
13 years 7 months ago
2000
This paper is devoted to the analysis of network approximation in the framework of approximation and regularization theory. It is shown that training neural networks and similar n...
NN
2002
Springer
13 years 7 months ago
2002
Springer
Most of source separation methods focus on stationary sources, so higher-order statistics is necessary for successful separation, unless sources are temporally correlated. For non...