1742 search results - page 136 / 349 » An Applicative Module Calculus |
101
Voted
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
87
Voted
VLDB
1997
ACM
15 years 4 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
98
Voted
FLAIRS
2007
15 years 3 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
117
Voted
LISP
2008
15 years 19 days ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
108
Voted
MCS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The Support Kernel Machine (SKM) and the Relevance Kernel Machine (RKM) are two principles for selectively combining objectrepresentation modalities of different kinds b...