Sciweavers

4299 search results - page 610 / 860
» Concurrent Test Generation
Sort
View
NFM
2011
335views Formal Methods» more  NFM 2011»
14 years 10 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 7 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
324
Voted
ICASSP
2011
IEEE
14 years 7 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
105
Voted
ICASSP
2011
IEEE
14 years 7 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
135
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Efficiently computing private recommendations
Online recommender systems enable personalized service to users. The underlying collaborative filtering techniques operate on privacy sensitive user data, which could be misused ...
Zekeriya Erkin, M. Beye, T. Veugen, Reginald L. La...