Sciweavers

1631 search results - page 47 / 327
» Observing Functional Logic Computations
Sort
View
ICPR
2006
IEEE
14 years 11 months ago
Robust Local Scoring Function for Text-Independent Speaker Verification
Traditionally, the Universal Background Model (UBM) is viewed as the background model of the entire acoustic feature space. We propose a novel interpretation of the UBM model, and...
Ming Liu, Thomas S. Huang, Zhengyou Zhang
DAC
2003
ACM
14 years 11 months ago
Symbolic representation with ordered function templates
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
Amit Goel, Gagan Hasteer, Randal E. Bryant
FPL
2003
Springer
128views Hardware» more  FPL 2003»
14 years 3 months ago
Case Study of a Functional Genomics Application
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
Tom Van Court, Martin C. Herbordt, Richard J. Bart...
ISCA
2010
IEEE
413views Hardware» more  ISCA 2010»
14 years 3 months ago
Resistive computation: avoiding the power wall with low-leakage, STT-MRAM based computing
As CMOS scales beyond the 45nm technology node, leakage concerns are starting to limit microprocessor performance growth. To keep dynamic power constant across process generations...
Xiaochen Guo, Engin Ipek, Tolga Soyata
POPL
2012
ACM
12 years 5 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...