5326 search results - page 1005 / 1066 » On what we can ensure |
126
click to vote
CISS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Mobile optical wireless has so far been limited to very short ranges for high data rate systems. It may be feasible to overcome the data rate limitations over large transmission...
171
click to vote
PLPV
2011
ACM
14 years 3 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
115
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—There is a growing interest in exploiting interference (rather than avoiding it) to increase network throughput. In particular, the so-called successive interference cancellatio...
124
Voted
KDD
2012
ACM
13 years 3 months ago
2012
ACM
Interdisciplinary collaborations have generated huge impact to society. However, it is often hard for researchers to establish such cross-domain collaborations. What are the patte...
148
Voted
KDD
2012
ACM
13 years 3 months ago
2012
ACM
The communities of a social network are sets of vertices with more connections inside the set than outside. We theoretically demonstrate that two commonly observed properties of s...