16216 search results - page 85 / 3244 » Effective Modeling with Constraints |
146
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
145
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
141
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
TVLSI
2002
15 years 4 months ago
2002
The goal of this work was to simulate the effect of the finite conductivity of semiconductor substrates on the on-chip coupling inductance and then to investigate the effect of the...
133
click to vote
ESANN
2008
15 years 5 months ago
2008
We show how to improve a state-of-the-art neural network language model that converts the previous "context" words into feature vectors and combines these feature vectors...