Login / Signup

Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain.

Justin LloydElena Sherman
Published in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
  • convex polyhedra
  • domain specific
  • shortest path
  • sufficient conditions
  • face recognition
  • high dimensional
  • scale space