1835 search results - page 235 / 367 » Functional Programming of Behavior-Based Systems |
240
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
131
click to vote
ISCA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper examines the performance of desktop applications running on the Microsoft Windows NT operating system on Intel x86 processors, and contrasts these applications to the p...
152
Voted
POPL
1990
ACM
15 years 9 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
141
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
During the last decade there has been a huge interest in Grid technologies, and numerous Grid projects have been initiated with various visions of the Grid. While all these visions...
136
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we present an information-theoretic approach to learning a Mahalanobis distance function. We formulate the problem as that of minimizing the differential relative e...