Limitations of convex programming: lower bounds on extended formulations and factorization ranks (Dagstuhl Seminar 15082)

This report documents the program and the outcomes of Dagstuhl Seminar 15082 "Limitations of convex programming: lower bounds on extended formulations and factorization ranks" held in February 2015. Summaries of a selection of talks are given in addition to a list of open problems raised during the seminar.

[1]  Yaroslav Shitov.  Sublinear extensions of polygons , 2014 .

[2]  Shaogang Gong,et al.  Visual Analysis of Behaviour - From Pixels to Semantics , 2011 .

[3]  Silvio Savarese,et al.  Indoor Scene Understanding with Geometric and Semantic Contexts , 2014, International Journal of Computer Vision.

[4]  Cordelia Schmid,et al.  Towards Understanding Action Recognition , 2013, 2013 IEEE International Conference on Computer Vision.

[5]  Prasad Raghavendra,et al.  Lower Bounds on the Size of Semidefinite Programming Relaxations , 2014, STOC.

[6]  S. Savarese,et al.  Learning an Image-Based Motion Context for Multiple People Tracking , 2014, 2014 IEEE Conference on Computer Vision and Pattern Recognition.

[7]  Bodo Rosenhahn,et al.  Superpixels for Video Content Using a Contour-Based EM Optimization , 2014, ACCV.

[8]  Juergen Gall,et al.  Discovering Object Classes from Activities , 2014, ECCV.

[9]  Bodo Rosenhahn,et al.  Class Generative Models Based on Feature Regression for Pose Estimation of Object Categories , 2013, 2013 IEEE Conference on Computer Vision and Pattern Recognition.

[10]  Ali Farhadi,et al.  Ranking Domain-Specific Highlights by Analyzing Edited Videos , 2014, ECCV.

[11]  Friedrich Steimann.  From well-formedness to meaning preservation: model refactoring for almost free , 2013, Software & Systems Modeling.

[12]  Bodo Rosenhahn,et al.  Temporally Consistent Superpixels , 2013, 2013 IEEE International Conference on Computer Vision.

[13]  Jörn Ostermann,et al.  Embedding Geometry in Generative Models for Pose Estimation of Object Categories , 2014, BMVC.

[14]  Helmut Veith,et al.  Parameterized model checking of fault-tolerant distributed algorithms by abstraction , 2013, 2013 Formal Methods in Computer-Aided Design.

[15]  Ali Farhadi,et al.  Salient Montages from Unconstrained Videos , 2014, ECCV.

[16]  Monique Laurent,et al.  On the Closure of the Completely Positive Semidefinite Cone and Linear Approximations to Quantum Colorings , 2015, TQC.

[17]  Silvio Savarese,et al.  Discovering Groups of People in Images , 2014, ECCV.