7840 search results - page 566 / 1568 » On generalized Ramsey numbers |
206
Voted
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
201
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
The Quantum Probability Ranking Principle (QPRP) has been recently proposed, and accounts for interdependent document relevance when ranking. However, to be instantiated, the QPRP...
196
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Many websites provide restrictive form-like interfaces which allow users to execute search queries on the underlying hidden databases. In this paper, we consider the problem of es...
178
click to vote
SPAA
2010
ACM
15 years 7 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
177
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this work, we present a general method for approximating nonlinear transformations of Gaussian mixture random variables. It is based on transforming the individual Gaussians wi...