4757 search results - page 166 / 952 » Monads for Functional Programming |
174
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper considers a method for speech emotion recognition by a max-margin framework incorporating a loss function based on a well-known model called the Watson and Tellegen’s...
163
click to vote
ERSHOV
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
152
click to vote
DAC
2006
ACM
16 years 11 days ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
153
click to vote
AMOST
2005
ACM
15 years 12 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
165
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...