462 search results - page 19 / 93 » Verifying Properties of Neural Networks |
ESANN
2006
13 years 9 months ago
2006
Complex networks have received much attention in the last few years, and reveal global properties of interacting systems in domains like biology, social sciences and technology. O...
ESANN
2003
13 years 9 months ago
2003
Small recurrent neural network with two and three neurons are able to control autonomous robots showing obstacle avoidance and photo-tropic behaviors. They have been generated by e...
CEC
2003
IEEE
14 years 1 months ago
2003
IEEE
AbstractRecent advances in gene-expression profiling technologies provide large amounts of gene expression data. This raises the possibility for a functional understanding of geno...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
ICNP
1998
IEEE
13 years 12 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...