Sciweavers

7840 search results - page 416 / 1568
» On generalized Ramsey numbers
Sort
View
FOCS
2002
IEEE
15 years 12 months ago
Covering Problems with Hard Capacities
We consider the classical vertex cover and set cover problems with the addition of hard capacity constraints. This means that a set (vertex) can only cover a limited number of its...
Julia Chuzhoy, Joseph Naor
INFOCOM
2002
IEEE
15 years 12 months ago
Fast PDA Synchronization Using Characteristic Polynomial Interpolation
—Modern Personal Digital Assistant (PDA) architectures often utilize a wholesale data transfer protocol known as “slow sync” for synchronizing PDAs with Personal Computers (P...
Ari Trachtenberg, David Starobinski, Sachin Agarwa...
ISSRE
2002
IEEE
15 years 12 months ago
Optimal Allocation of Testing Resources for Modular Software Systems
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R....
LICS
2002
IEEE
15 years 12 months ago
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
SIGECOM
2010
ACM
140views ECommerce» more  SIGECOM 2010»
15 years 12 months ago
Northern exposure: a field experiment measuring externalities between search advertisements
“North” ads, or sponsored listings appearing just above the organic search results, generate the majority of clicks and revenues for search engines. In this paper, we ask whet...
David H. Reiley, Sai-Ming Li, Randall A. Lewis