462 search results - page 60 / 93 » Verifying Properties of Neural Networks |
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
—Topology control in a wireless sensor network is useful for ensuring that the network remains connected in the presence of nodes that exhaust their energy or become altogether d...
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
NECO
2010
13 years 2 months ago
2010
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
AINA
2008
IEEE
14 years 2 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Distributed channel access is essential for a wireless network without a central controller. In our previous research, we have proposed a distributed channel access scheme to a...