Sciweavers

5281 search results - page 799 / 1057
» Performance evaluation of software architectures
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
ICST
2009
IEEE
15 years 4 months ago
Penetration Testing with Improved Input Vector Identification
Penetration testing is widely used to help ensure the security of web applications. It discovers vulnerabilities by simulating attacks from malicious users on a target application...
William G. J. Halfond, Shauvik Roy Choudhary, Ales...
TASLP
2011
15 years 1 months ago
Scale Transform in Rhythmic Similarity of Music
— As a special case of the Mellin transform, the scale transform has been applied in various signal processing areas, in order to get a signal description that is invariant to sc...
Andre Holzapfel, Yannis Stylianou
TASLP
2011
15 years 1 months ago
Predicting Preference Judgments of Individual Normal and Hearing-Impaired Listeners With Gaussian Processes
Abstract—A probabilistic kernel approach to pairwise preference learning based on Gaussian processes is applied to predict preference judgments for sound quality degradation mech...
Perry Groot, Tom Heskes, Tjeerd Dijkstra, James M....
TCBB
2011
15 years 1 months ago
Ensemble Learning with Active Example Selection for Imbalanced Biomedical Data Classification
—In biomedical data, the imbalanced data problem occurs frequently and causes poor prediction performance for minority classes. It is because the trained classifiers are mostly d...
Sangyoon Oh, Min Su Lee, Byoung-Tak Zhang