papers
Publications (5)
cs.DC2012
Verifiable Computation with Massively Parallel Interactive Proofs
Justin Thaler, Mike Roberts, Michael Mitzenmacher +1
math.MG2016
A Classification of Non-Compact Coxeter Polytopes with $n+3$ Facets and One Non-Simple Vertex
Mike Roberts
q-bio.NC2013
Large-Scale Automatic Reconstruction of Neuronal Processes from Electron Microscopy Images
Verena Kaynig, Amelio Vazquez-Reina, Seymour Knowles-Barley +6
cs.CV2017
Submodular Trajectory Optimization for Aerial 3D Scanning
Mike Roberts, Debadeepta Dey, Anh Truong +5
cs.GR2016
Towards a Drone Cinematographer: Guiding Quadrotor Cameras using Visual Composition Principles
Niels Joubert, Jane L. E, Dan B Goldman +4