Sciweavers

5855 search results - page 783 / 1171
» Test generation and minimization with
Sort
View
JMLR
2010
97views more  JMLR 2010»
15 years 1 months ago
Evaluation of a Bayesian model-based approach in GA studies
In a typical Genetic Association Study (GAS) several hundreds to millions of genomic variables are measured and tested for association with a given set of a phenotypic variables (...
Gábor Hullám, Peter Antal, Csaba Sza...
NFM
2011
335views Formal Methods» more  NFM 2011»
15 years 1 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
CISS
2011
IEEE
14 years 10 months ago
New hypothesis testing-based methods for fault detection for smart grid systems
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
Qian He, Rick S. Blum
ICASSP
2011
IEEE
14 years 10 months ago
Directional Color Filter Array interpolation based on multiscale color gradients
Single sensor digital cameras capture one color value for every pixel location. The remaining two color channel values need to be estimated to obtain a complete color image. This ...
Ibrahim Pekkucuksen, Yucel Altunbasak
ICASSP
2011
IEEE
14 years 10 months ago
A cochlear neuron based robust feature for speaker recognition
In this paper, a robust feature for text-independent speaker recognition is proposed, which simulate the response mode of cochlear neurons in processing acoustic signal. The featu...
Datao You, Tao Jiang, Jiqing Han, Tieran Zheng