4959 search results - page 210 / 992 » Imperative Functional Programming |
124
Voted
ICASSP
2009
IEEE
15 years 9 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...
115
click to vote
ERSHOV
2009
Springer
15 years 9 months 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 ...
106
Voted
DAC
2006
ACM
15 years 8 months 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...
109
click to vote
AMOST
2005
ACM
15 years 8 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...
115
Voted
CSL
2004
Springer
15 years 6 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 ...