105 search results - page 7 / 21 » Additive and Multiplicative Structure in Matrix Spaces |
ENTCS
2007
13 years 8 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
TIT
2002
13 years 8 months ago
2002
One method for communicating with multiple antennas is to encode the transmitted data differentially using unitary matrices at the transmitter, and to decode differentially withou...
CORR
2011
Springer
13 years 4 days ago
2011
Springer
—This paper addresses the problem of simultaneous signal recovery and dictionary learning based on compressive measurements. Multiple signals are analyzed jointly, with multiple ...
WSC
2004
13 years 10 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...