Sciweavers

5105 search results - page 276 / 1021
» Approximate Structural Consistency
Sort
View
STOC
2001
ACM
159views Algorithms» more  STOC 2001»
16 years 6 months ago
Optimal static range reporting in one dimension
We consider static one dimensional range searching problems. These problems are to build static data structures for an integer set S U, where U = {0, 1, . . . , 2w - 1}, which su...
Stephen Alstrup, Gerth Stølting Brodal, The...
167
Voted
CGF
2010
95views more  CGF 2010»
15 years 5 months ago
Polygonal Surface Advection applied to Strange Attractors
Strange attractors of 3D vector field flows sometimes have a fractal geometric structure in one dimension, and smooth surface behavior in the other two. General flow visualization...
S. Yan, N. Max, K.-L. Ma
ICRA
2002
IEEE
101views Robotics» more  ICRA 2002»
15 years 11 months ago
Cartesian Impedance Control Techniques for Torque Controlled Light-Weight Robots
The paper compares various approaches to implementing a compliant Cartesian behavior for robotic manipulators: impedance, admittance and stiffness control. A new controller struc...
Alin Albu-Schäffer, Gerd Hirzinger
DBISP2P
2006
Springer
110views Database» more  DBISP2P 2006»
15 years 10 months ago
Reusing Classical Query Rewriting in P2P Databases
Sharing of structured data in P2P overlays is a challenging problem, especially in the absence of a global schema. The nature of structured data stored in the overlay enforces stri...
Verena Kantere, Timos K. Sellis
POPL
2007
ACM
16 years 6 months ago
Context logic as modal logic: completeness and parametric inexpressivity
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty