7840 search results - page 391 / 1568 » On generalized Ramsey numbers |
183
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
163
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we consider the problem of materializing the complete ļ¬nite RDFS closure in a scalable manner; this includes those parts of the RDFS closure that are often ignored...
156
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
188
click to vote
IWCMC
2009
ACM
16 years 1 months ago
2009
ACM
This paper addresses the problem of optimal cooperative spectrum sensing in a cognitive-enabled sensor network where cognitive sensors can cooperate in the sensing of the spectrum...
223
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
In cognitive radio networks (CRNs), spectrum sensing is key to opportunistic spectrum access while preventing any unacceptable interference to primary usersā communications. Alt...