1222 search results - page 81 / 245 » corr 2008 |
110
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this article we present a refined summation theory based on Karr's difference field approach. The resulting algorithms find sum representations with optimal nested depth. ...
146
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an analysis of target localization accuracy, attainable by the use of multiple-input multiple-output (MIMO) radar systems, configured with multiple transmit and...
165
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theo...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The automorphism group of a binary doubly-even self-dual code is always contained in the alternating group. On the other hand, given a permutation group G of degree n there exists...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...