462 search results - page 9 / 93 » Verifying Properties of Neural Networks |
IJCNN
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents a simple continuous analog hardware realization of the Random Neural Network (RNN) model. The proposed circuit uses the general principles resulting from the u...
IMCSIT
2010
13 years 5 months ago
2010
In the present text, we deal with the problem of classification of speech emotion. Problems of speech processing are addressed through the use of artificial neural networks (ANN). ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
OL
2011
12 years 10 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
Intelligent security protocols can verify whether the involved principals have properties that are defined based on certain functional and security policies. The property we focu...