9405 search results - page 1449 / 1881 » Computing a Model of Set Theory |
204
click to vote
COMPGEOM
2004
ACM
16 years 8 days ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...
198
click to vote
POPL
2004
ACM
16 years 8 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
188
click to vote
SIGECOM
2004
ACM
16 years 8 days ago
2004
ACM
We study a limited-supply online auction problem, in which an auctioneer has k goods to sell and bidders arrive and depart dynamically. We suppose that agent valuations are drawn ...
206
click to vote
SPAA
2004
ACM
16 years 8 days ago
2004
ACM
Given a general graph G, a fundamental problem is to find a spanning tree H that best approximates G by some measure. Often this measure is some combination of the congestion and...
162
click to vote
GROUP
2003
ACM
16 years 3 days ago
2003
ACM
In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, orientatio...