3229 search results - page 141 / 646 » Theories with the Independence Property |
83
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
We provide a novel achievability proof of the Slepian-Wolf theorem for i.i.d. sources over finite alphabets. We demonstrate that random codes that are linear over the real field ac...
73
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
124
click to vote
CCR
2004
15 years 19 days ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
210
Voted
CADE
2011
Springer
14 years 23 days ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
102
Voted
SIAMCOMP
2010
14 years 11 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...