Login / Signup

Solving Shape-Analysis Problems in Languages with Destructive Updating.

Shmuel SagivThomas W. RepsReinhard Wilhelm
Published in: ACM Trans. Program. Lang. Syst. (1998)
Keyphrases
  • shape analysis
  • shape representation
  • shape descriptors
  • shape recognition
  • np complete
  • euclidean space
  • three dimensional
  • preserving transformations
  • multiscale segmentation
  • image analysis and pattern recognition