3820 search results - page 477 / 764 » Bounded Model Debugging |
167
Voted
COMPGEOM
2006
ACM
16 years 19 days ago
2006
ACM
We study the problem of covering a set of points or polyhedra in 3 with two axis-aligned boxes in order to minimize a function of the measures of the two boxes, such as the sum or...
163
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...
185
click to vote
SWAT
2004
Springer
16 years 5 hour ago
2004
Springer
We show that any priority queue data structure that supports insert, delete, and find-min operations in pq(n) time, when n is an upper bound on the number of elements in the prio...
152
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
Consider a dynamic, large-scale communication infrastructure (e.g., the Internet) where nodes (e.g., in a peer to peer system) can communicate only with nodes whose id (e.g., IP a...
204
click to vote
ESA
2003
Springer
15 years 12 months ago
2003
Springer
We propose a new complexity measure for movement of objects, the smoothed motion complexity. Many applications are based on algorithms dealing with moving objects, but usually data...