3250 search results - page 148 / 650 » An Algorithm to Solve a Linear Program |
255
Voted
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
140
Voted
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Inspired by recent theoretical advances in compressive sensing (CS), we propose a new framework that combines the classical local discrete cosine transform used in image compressi...
174
Voted
TWC
2008
15 years 6 months ago
2008
OFDMA resource allocation assigns subcarriers and power, and possibly data rates, to each user. Previous research efforts to optimize OFDMA resource allocation with respect to comm...
148
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a discrete-time time-domain vector fitting algorithm, called TD-VFz, for rational function macromodeling of port-to-port responses with discrete time-sampled data. The ...
182
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...