159 search results - page 18 / 32 » Weak Equivalences in Psi-Calculi |
108
click to vote
COMPGEOM
1995
ACM
15 years 4 months ago
1995
ACM
A convex polytope P can be speci ed in two ways: as the convex hull of the vertex set V of P, or as the intersection of the set H of its facet-inducing halfspaces. The vertex enum...
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
CORR
2008
Springer
15 years 23 days ago
2008
Springer
Abstract-- The capacity region of the two-user Gaussian Interference Channel (IC) is studied. Two classes of channels are considered: weak and mixed Gaussian IC. For the weak Gauss...
113
click to vote
CORR
2007
Springer
15 years 20 days ago
2007
Springer
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
97
Voted
JC
2010
14 years 7 months ago
2010
We prove that some multivariate linear tensor product problems are tractable in the worst case setting if they are defined as tensor products of univariate problems with logarithm...