462 search results - page 74 / 93 » Verifying Properties of Neural Networks |
COMPGEOM
1997
ACM
13 years 11 months ago
1997
ACM
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...
HOTDEP
2008
13 years 9 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
IDA
1998
Springer
13 years 7 months ago
1998
Springer
We investigate a form of modular neural network for classification with (a) pre-separated input vectors entering its specialist (expert) networks, (b) specialist networks which ar...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— The ability to identify protein binding sites and to detect specific amino acid residues that contribute to the specificity and affinity of protein interactions has importan...
MICAI
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...