3579 search results - page 310 / 716 » Transformations of software models into performance models |
193
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--This paper provides a systematic mutual information (MI) and multichannel beamforming (MBF) characterization of optimized multiple-input multiple-output (MIMO) communicat...
142
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
171
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
We describe a Markov chain Bayesian classification tool, SCS, that can perform data-driven classification of proteins and protein segments. Training data for interesting classific...
154
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
For many realistic scenarios, there are multiple factors that affect the clean speech signal. In this work approaches to handling two such factors, speaker and background noise di...
149
click to vote
ANSS
1998
IEEE
15 years 11 months ago
1998
IEEE
In solving application problems, the data sets used to train a neural network may not be hundred percent precise but within certain ranges. Representing data sets with intervals, ...