2468 search results - page 380 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
295
click to vote
SIGMOD
2006
ACM
16 years 6 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...
214
click to vote
CCGRID
2007
IEEE
16 years 20 days 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...
168
click to vote
COLT
2007
Springer
16 years 14 days 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...
163
click to vote
TWC
2008
15 years 6 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...
205
click to vote
TWC
2008
15 years 6 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 ...