Sciweavers

7253 search results - page 483 / 1451
» Agile Performance Testing
Sort
View
PADL
2010
Springer
16 years 3 months ago
Conversion by Evaluation
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
Mathieu Boespflug
ISBI
2009
IEEE
16 years 1 months ago
Accelerating Regularized Iterative CT Reconstruction on Commodity Graphics Hardware (GPU)
Iterative reconstruction algorithms augmented with regularization can produce high-quality reconstructions from few views and even in the presence of significant noise. In this pa...
Wei Xu, Klaus Mueller
ICASSP
2009
IEEE
16 years 1 months ago
Combining VTS model compensation and support vector machines
It is difficult to adapt discriminative classifiers, particularly kernel based ones such as support vector machines (SVMs), to handle mismatches between the training and test da...
Mark J. F. Gales, Federico Flego
ICASSP
2009
IEEE
16 years 1 months ago
Query by tapping system based on alignment algorithm
Query-by-tapping systems are content-based music retrieval systems that allow users to tap or clap in a microphone the rhythmic pattern of the melody requested. In this paper, a n...
Pierre Hanna, Matthias Robine
ICASSP
2009
IEEE
16 years 1 months ago
Minimum variance modulation filter for robust speech recognition
This paper describes a way of designing modulation filter by datadriven analysis which improves the performance of automatic speech recognition systems that operate in real envir...
Yu-Hsiang Bosco Chiu, Richard M. Stern