Hanan Samet
Deletion in two-dimensional quad trees
An algorithm for deletion in two-dimensional quad trees that handles the problem in a manner analogous to deletion in binary search trees is presented. The algorithm is…
Region representation: boundary codes from quadtrees
There has been recent interest in the use of quadtrees to represent regions in an image. It thus becomes desirable to develop efficient methods of conversion between…
Region representation: quadtrees from boundary codes
An algorithm is presented for constructing a quadtree for a region given its boundary in the form of a chain code. Analysis of the algorithm reveals that its execution…
Proving the correctness of heuristically optimized code
A system for proving that programs written in a high level language are correctly translated to a low level language is described. A primary use of the system is as a…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved