2468 search results - page 380 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
247
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
173
Voted
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Experimental performance studies on computer systems, including Grids, require deep understandings on their workload characteristics. The need arises from two important and closel...
135
Voted
COLT
2007
Springer
15 years 9 months ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
122
Voted
TWC
2008
15 years 3 months ago
2008
Space-time block codes (STBCs) from coordinate interleaved orthogonal designs (CIODs) have attracted considerable attention lately due to their full-diversity and single-symbol dec...
166
Voted
TWC
2008
15 years 3 months ago
2008
This paper derives the outage probability and transmission capacity of ad hoc wireless networks with nodes employing multiple antenna diversity techniques, for a general class of ...