6568 search results - page 975 / 1314 » Reducing the Complexity of Reductions |
158
click to vote
SIGECOM
2006
ACM
16 years 23 days ago
2006
ACM
We present approximation and online algorithms for a number of problems of pricing items for sale so as to maximize seller’s revenue in an unlimited supply setting. Our first r...
195
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
171
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
226
click to vote
SSDBM
2010
IEEE
15 years 12 months ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
191
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
d Abstract] György Elekes Eötvös University Micha Sharir Tel Aviv University and New York University We first describe a reduction from the problem of lower-bounding the numbe...