61 search results - page 13 / 13 » Source-Level Proof Reconstruction for Interactive Theorem Pr... |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the...