Sciweavers

2527 search results - page 301 / 506
» A UML-Based Approach to System Testing
Sort
View
DAC
2010
ACM
15 years 8 months ago
Circuit modeling for practical many-core architecture design exploration
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
Dean Truong, Bevan M. Baas
ESOP
2004
Springer
15 years 7 months ago
ML-Like Inference for Classifiers
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
Cristiano Calcagno, Eugenio Moggi, Walid Taha
148
Voted
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 7 months ago
Eigen-Harmonics Faces: Face Recognition under Generic Lighting
The performances of face recognition systems are heavily subject to the variations in lighting. We propose a novel approach for face recognition under generic illumination conditi...
Laiyun Qing, Shiguang Shan, Wen Gao
150
Voted
KES
2000
Springer
15 years 7 months ago
Genetically optimised feedforward neural networks for speaker identification
The problem of establishing the identity of a speaker from a given utterance has been conventionally addressed using techniques such as Gaussian Mixture Models (GMM's) that m...
Richard C. Price, Jonathan P. Willmore, William J....
USS
2008
15 years 6 months ago
Experiences with Model Inference Assisted Fuzzing
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
Joachim Viide, Aki Helin, Marko Laakso, Pekka Piet...