Sciweavers

1830 search results - page 80 / 366
» Functional Programs as Linked Data
Sort
View
ICASSP
2011
IEEE
14 years 6 months ago
Soft frame margin estimation of Gaussian Mixture Models for speaker recognition with sparse training data
—Discriminative Training (DT) methods for acoustic modeling, such as MMI, MCE, and SVM, have been proved effective in speaker recognition. In this paper we propose a DT method fo...
Yan Yin, Qi Li
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 6 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
ICPP
2009
IEEE
15 years 9 months ago
Fine-grain Parallelism Using Multi-core, Cell/BE, and GPU Systems: Accelerating the Phylogenetic Likelihood Function
We are currently faced with the situation where applications have increasing computational demands and there is a wide selection of parallel processor systems. In this paper we fo...
Frederico Pratas, Pedro Trancoso, Alexandros Stama...
NAR
2006
88views more  NAR 2006»
15 years 3 months ago
PupaSuite: finding functional single nucleotide polymorphisms for large-scale genotyping purposes
We have developed a web tool, PupaSuite, for the selection of single nucleotide polymorphisms (SNPs) with potential phenotypic effect, specifically oriented to help in the design ...
Lucía Conde, Juan M. Vaquerizas, Hern&aacut...
PLDI
2010
ACM
15 years 8 months ago
Supporting speculative parallelization in the presence of dynamic data structures
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
Chen Tian, Min Feng, Rajiv Gupta