462 search results - page 65 / 93 » Verifying Properties of Neural Networks |
159
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Sleep transistors are effective to reduce dynamic and leakage power. The cluster-based design was proposed to reduce the sleep transistor area by clustering gates to minimize the ...
147
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of traffic crossing the wireless LAN radio interface. LRD severely affects network performance yielding longer queuing...
140
click to vote
ADHOCNOW
2005
Springer
15 years 10 months ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
140
click to vote
WINET
2010
15 years 2 months ago
2010
This paper proposes a secure encrypted-data aggregation scheme for wireless sensor networks. Our design for data aggregation eliminates redundant sensor readings without using encr...
185
click to vote
JSC
2010
14 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...