2468 search results - page 333 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
click to vote
BMEI
2008
IEEE
15 years 10 months ago
2008
IEEE
Epicardial mapping system is an important tool for studying electrophysiological characteristics of atrial fibrillation (AF). AF is the most common arrhythmia and is becoming more...
147
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
— In this paper we demonstrate how TCP congestion control can show chaotic behavior. We demonstrate the major features of chaotic systems in TCP/IP networks with examples. These ...
252
click to vote
EDM
2009
15 years 1 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
119
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...
152
Voted
PEWASUN
2007
ACM
15 years 5 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...