7121 search results - page 41 / 1425 » Functions as Session-Typed Processes |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper looks at a parsing-based alternative to word error rate (WER) for optimizing recognition, SParseval, hypothesizing that it may be a better objective for applications su...
SNPD
2003
13 years 10 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
RE
2010
Springer
13 years 3 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
AFP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...