1802 search results - page 48 / 361 » Model-based Theory Combination |
FMCAD
2000
Springer
14 years 21 days ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Opportunistic scheduling and beamforming schemes are proposed for multiuser MIMO-SDMA downlink systems with linear combining in this work. Signals received from all antennas of ea...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
NIPS
1994
13 years 10 months ago
1994
This paper discusses the linearly weighted combination of estimators in which the weighting functions are dependent on the input. We show that the weighting functions can be deriv...
INTERSPEECH
2010
13 years 3 months ago
2010
Speaker-normalization and -adaptation methods are essential components of state-of-the-art speech recognition systems nowadays. Recently, so-called invariant integration features ...