1818 search results - page 294 / 364 » Granularity-Adaptive Proof Presentation |
116
click to vote
CORR
2008
Springer
15 years 3 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...
168
Voted
DCG
2008
15 years 3 months ago
2008
Two-dimensional constrained Delaunay triangulations are geometric structures that are popular for interpolation and mesh generation because they respect the shapes of planar domai...
116
click to vote
IANDC
2008
15 years 3 months ago
2008
A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a pre-agreed...
129
Voted
COMBINATORICS
2006
15 years 3 months ago
2006
We associate one or two posets (which we call "semistandard posets") to any given irreducible representation of a rank two semisimple Lie algebra over C. Elsewhere we ha...
121
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...