462 search results - page 23 / 93 » Verifying Properties of Neural Networks |
ICANN
2009
Springer
14 years 2 months ago
2009
Springer
Recently the notion of power law networks in the context of neural networks has gathered considerable attention. Some empirical results show that functional correlation networks in...
ICAISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
We derive cost formulae for three di erent parallelisation techniques for training supervised networks. These formulae are parameterised by properties of the target computer archit...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— Recently, there has been a growing interest in biologically inspired biped locomotion control with Central Pattern Generator (CPG). However, few experimental attempts on real h...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects queuing performance in network buffers. A common approach for guaranteein...