10051 search results - page 437 / 2011 » A Dynamic Separator Algorithm |
182
Voted
ICRA
2003
IEEE
16 years 26 days ago
2003
IEEE
Robotic simulation systems allow researchers, engineers, and students to test control algorithms in a safe environment, but until recently these systems only simulated the dynamic...
190
Voted
SCAM
2003
IEEE
16 years 26 days ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
190
Voted
DATE
2002
IEEE
16 years 16 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
166
Voted
INFOCOM
2002
IEEE
16 years 15 days ago
2002
IEEE
Abstract—In this paper we propose an efficient on-line estimation algorithm for determining the size of a dynamic multicast group. By using diffusion approximation and Kalman ...
210
click to vote
WADS
1997
Springer
15 years 11 months ago
1997
Springer
We present several efficient dynamic data structures for point-enclosure queries, involving convex fat objects in R2 or R3. Our planar structures are actually fitted for a more ...