535 search results - page 17 / 107 » Termination of Abstract Reduction Systems |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
— in this paper we address the problem of reducing the feedback for the downlink transmission in multi-carrier systems. In these systems multiple Component Carriers (CCs) are agg...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract-- This paper considers the problem of model reduction for controlled systems. The paper considers a dual/adjoint formulation of the general optimization problem to minimiz...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Dynamic OFDMA systems provide a significant performance gain compared to static OFDM approaches. In reality this gain is reduced by an overhead due to signaling. Previ...
ICFP
1999
ACM
14 years 2 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...