activity
20122026
most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 542 across the 65 of their papers we have counts for

collaborators
Showing 2012Show all

5 papers · 1 filter

cs.LG2012★ 61 cited

Sparse projections onto the simplex

Anastasios Kyrillidis, Stephen Becker, Volkan Cevher and +1

Most learning methods with rank or sparsity constraints use convex relaxations, which lead to optimization with the nuclear norm or the -norm. However, several important le…

cs.IT2012★ 11 cited

Sublinear Time, Approximate Model-based Sparse Recovery For All

Anastasios Kyrillidis, Volkan Cevher

We describe a probabilistic, {\it sublinear} runtime, measurement-optimal system for model-based sparse recovery problems through dimensionality reducing, {\em dense} random matric…

math.NA2012

Matrix Recipes for Hard Thresholding Methods

Anastasios Kyrillidis, Volkan Cevher

In this paper, we present and analyze a new set of low-rank recovery algorithms for linear inverse problems within the class of hard thresholding methods. We provide strategies on…

cs.IT2012★ 6 cited

Matrix ALPS: Accelerated Low Rank and Sparse Matrix Reconstruction

Anastasios Kyrillidis, Volkan Cevher

We propose Matrix ALPS for recovering a sparse plus low-rank decomposition of a matrix given its corrupted and incomplete linear measurements. Our approach is a first-order project…

cs.IT2012★ 11 cited

Combinatorial Selection and Least Absolute Shrinkage via the CLASH Algorithm

Anastasios Kyrillidis, Volkan Cevher

The least absolute shrinkage and selection operator (LASSO) for linear regression exploits the geometric interplay of the -data error objective and the -norm constr…