1302 search results - page 259 / 261 » Fair Equivalence Relations |
WD
2010
13 years 3 months ago
2010
The scope of this paper is the interdisciplinary measurement and modeling methodology of Quality of Experience (QoE) when playing a mobile location-based massively multiplayer onli...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
ALGORITHMICA
2011
13 years 25 days ago
2011
Let G = (V, E, w) be a directed graph, where w : V → R is an arbitrary weight function defined on its vertices. The bottleneck weight, or the capacity, of a path is the smalles...
BMCBI
2010
13 years 24 days ago
2010
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...