684 search results - page 121 / 137 » A characterization of b-perfect graphs |
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
101
click to vote
SCIENTOMETRICS
2010
14 years 6 months ago
2010
This paper quantitatively explores the social and socio-semantic patterns of constitution of academic collaboration teams. To this end, we broadly underline two critical features ...
98
Voted
TIT
2010
14 years 6 months ago
2010
Consider the two-way rate-distortion problem in which a helper sends a common limited-rate message to both users based on side information at its disposal. We characterize the reg...
113
click to vote
TIT
2010
14 years 6 months ago
2010
The class of low-density parity-check (LDPC) codes is attractive, since such codes can be decoded using practical message-passing algorithms, and their performance is known to app...
113
click to vote
TOC
2010
14 years 6 months ago
2010
: We define quantum expanders in a natural way and give two constructions of quantum expanders, both based on classical expander constructions. The first construction is algebraic,...