Sciweavers

2604 search results - page 116 / 521
» Human Errors and System Requirements
Sort
View
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
14 years 3 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester
CORR
2011
Springer
185views Education» more  CORR 2011»
13 years 4 months ago
Asymptotic Moments for Interference Mitigation in Correlated Fading Channels
Abstract—We consider a certain class of large random matrices, composed of independent column vectors with zero mean and different covariance matrices, and derive asymptotically ...
Jakob Hoydis, Mérouane Debbah, Mari Kobayas...
ADAEUROPE
2006
Springer
14 years 3 months ago
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
Aoun Raza, Gunther Vogel, Erhard Plödereder
IJCAI
2003
13 years 10 months ago
Evaluating Classifiers by Means of Test Data with Noisy Labels
Often the most expensive and time-consuming task in building a pattern recognition system is col­ lecting and accurately labeling training and testing data. In this paper, we exp...
Chuck P. Lam, David G. Stork
TASLP
2008
117views more  TASLP 2008»
13 years 9 months ago
Auditory-Based Spectral Amplitude Estimators for Speech Enhancement
We propose a new family of Bayesian estimators for speech enhancement where the cost function includes both a power law and a weighting factor. The parameters of the cost function,...
Eric Plourde, Benoît Champagne