Restricted Cuts for Bisections in Solid Grids: A Proof via Polygons.

Andreas Emil Feldmann Shantanu Das Peter Widmayer

Published in: WG (2011)

Keyphrases

theorem proving
theorem prover
grid computing
image processing
three dimensional
image sequences
real time
data sets
social networks
video sequences
convex hull