1865 search results - page 275 / 373 » Pan-Private Streaming Algorithms |
121
click to vote
FGCN
2008
IEEE
15 years 10 months ago
2008
IEEE
Today, honeypot operators are strongly relying on network analysis tools to examine network traces collected in their honeynet environment. The accuracy of such analysis depends o...
119
click to vote
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Underwater survey by a team of autonomous robots brings couple of problems caused mainly by the communication restrictions due to the nature of environment. Communication range and...
112
click to vote
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
156
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Increasingly wireless networks use multi-antenna nodes as in IEEE 802.11n and 802.16. The Physical layer (PHY) in such systems may use the antennas to provide multiple streams o...
127
Voted
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Spatial scan statistics are used to determine hotspots in spatial data, and are widely used in epidemiology and biosurveillance. In recent years, there has been much effort invest...