3713 search results - page 555 / 743 » Constructing a Calculus of Programs |
122
click to vote
IJCNN
2008
IEEE
15 years 9 months ago
2008
IEEE
— A novel sparse kernel density estimator is derived based on a regression approach, which selects a very small subset of significant kernels by means of the D-optimality experi...
123
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...
143
click to vote
PDP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
141
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
AHS
2007
IEEE
15 years 9 months ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...