1636 search results - page 135 / 328 » Type-Theoretic Functional Semantics |
116
click to vote
APAL
2007
15 years 4 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...
150
click to vote
MMS
2008
15 years 3 months ago
2008
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
166
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
262
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
129
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we demonstrate the benefits of application involvement in operating system power management. We present Coop-I/O, an approach to reduce the power consumption of devi...