10819 search results - page 7 / 2164 » Addition and multiplication of sets |
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
— We use the idea of dependence balance [1] to obtain the first improvement over the cut-set bound for the discrete memoryless multiple access channel with noiseless feedback (M...
ARITH
2007
IEEE
14 years 2 months ago
2007
IEEE
Decimal multiplication is important in many commercial applications including financial analysis, banking, tax calculation, currency conversion, insurance, and accounting. This p...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
TIT
2008
13 years 7 months ago
2008
Abstract--In most previously reported studies on locally optimum detection of signals, independent observations have been assumed in various noise environments. The use of an indep...