713 search results - page 37 / 143 » Saving Space by Algebraization |
TSP
2010
14 years 4 months ago
2010
Detection and estimation problems in multiple-input multiple-output (MIMO) radar have recently drawn considerable interest in the signal processing community. Radar has long been a...
GLOBECOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— For the number of transmit antennas N = 2a the maximum rate (in complex symbols per channel use) of all the Quasi-Orthogonal Designs (QODs) reported in the literature is a 2aâˆ...
107
click to vote
GSN
2009
Springer
15 years 2 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...
VLDB
1993
ACM
15 years 2 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...