462 search results - page 14 / 93 » Verifying Properties of Neural Networks |
ICANN
2001
Springer
14 years 5 days ago
2001
Springer
Empirical evidence indicates that the training time for the support vector machine (SVM) scales to the square of the number of training data points. In this paper, we introduce the...
NN
2008
Springer
13 years 7 months ago
2008
Springer
A silicon neuron circuit that produces spiking and bursting firing patterns, with biologically plausible spike shape, is presented. The circuit mimics the behaviour of known class...
ICANN
2003
Springer
14 years 27 days ago
2003
Springer
We search for assignments of numbers to the amino acids (property codes) that maximize the autocorrelation function signal in given protein sequence data by an iterative method. Ou...
TIT
1998
13 years 7 months ago
1998
—Probability models are estimated by use of penalized log-likelihood criteria related to AIC and MDL. The accuracies of the density estimators are shown to be related to the trad...
ECAI
1998
Springer
13 years 12 months ago
1998
Springer
This paper presents a neural network approach to the problem of nding the dialogue act for a given utterance. So far only symbolic, decision tree and statistical approaches were ut...