2119 search results - page 194 / 424 » Structure-Preserving Model Reduction |
119
click to vote
TIT
2010
14 years 10 months ago
2010
The work identifies the first general, explicit, and non-random MIMO encoder-decoder structures that guarantee optimality with respect to the diversity-multiplexing tradeoff (DMT),...
116
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
147
click to vote
PATAT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...
150
click to vote
EUROCOLT
1999
Springer
15 years 7 months ago
1999
Springer
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
107
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...