36781 search results - page 6984 / 7357 » Parameterizing by the Number of Numbers |
197
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
198
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose a number of techniques for learning a global ranking from data that may be incomplete and imbalanced -- characteristics that are almost universal to modern dat...
179
click to vote
DC
2010
15 years 7 months ago
2010
It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform f...
193
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract--This paper considers the noncooperative maximization of mutual information in the vector Gaussian interference channel in a fully distributed fashion via game theory. Thi...
204
click to vote
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper deals with generic transformations from ID-based key encapsulation mechanisms (IBKEM) to hybrid public-key encryption (PKE). The best generic transformation known until...