306 search results - page 12 / 62 » Modeling Botnet Propagation Using Time Zones |
104
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
94
Voted
DAC
2007
ACM
16 years 2 months ago
2007
ACM
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...
151
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Markerless tracking of human pose is a hard yet relevant problem. In this paper, we derive an efficient filtering algorithm for tracking human pose at 4-10 frames per second using...
107
Voted
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— We study radio signal propagation in indoor environments using low-power devices leveraging the Zigbee and Bluetooth specifications. We present results from experiments where ...
112
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
The estimation error performance of Gaussian belief propagation based distributed estimation in a large sensor network employing random sleep strategies is explicitly evaluated fo...