4835 search results - page 174 / 967 » Refactoring Functional Programs |
135
click to vote
ENTCS
2007
15 years 2 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
113
Voted
MP
2011
14 years 5 months ago
2011
Abstract. Using the least element solution of the P0 and Z matrix linear complementarity problem (LCP), we define an implicit solution function for linear complementarity constrai...
122
click to vote
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...
114
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 ...
103
click to vote
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...