ACM

SHERPA: green

Groups

  1. Henzinger Group (3)
  2. Kolmogorov Group (1)
  3. Lampert Group (1)

Results (5)

  • Abstractions from proofs
    Conference paper
  • Race checking by context inference
    Conference paper
  • Document capture using stereo vision
    Conference paper
  • "GrabCut" - Interactive foreground extraction using iterated graph cuts
    Conference paper