1740 search results - page 295 / 348 » A Digital Archive of Research Papers in Computer Science |
132
click to vote
PODC
2009
ACM
16 years 2 months ago
2009
ACM
Performing random walks in networks is a fundamental primitive that has found applications in many areas of computer science, including distributed computing. In this paper, we fo...
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Due to the exponential growth of information on the Web, Recommender Systems have been developed to generate suggestions to help users overcome information overload and sift thr...
107
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
111
click to vote
SPRINGSIM
2007
15 years 2 months ago
2007
We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...
108
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
Abstract: Towed low frequency active sonar systems (LFAS) are used in Anti-Submarine Warfare (ASW) to detect submarines. LFAS systems are hampered by reverberation in shallow water...