12774 search results - page 2485 / 2555 » A Framework for Proof Systems |
184
click to vote
SIGCOMM
2009
ACM
16 years 27 days ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
197
click to vote
SMA
2009
ACM
16 years 27 days ago
2009
ACM
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
172
click to vote
SMA
2009
ACM
16 years 27 days ago
2009
ACM
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
178
click to vote
CISS
2008
IEEE
16 years 26 days ago
2008
IEEE
—In this paper, we study the problem of utility maximization in Peer-to-Peer (P2P) systems, in which aggregate utilities are maximized by running distributed algorithms on P2P no...
175
click to vote
DSD
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract—In two recent contributions [1], [2], we have provided a comparative analysis of various optimization algorithms, which can be used for atomic location estimation, and s...