Algorithms

Parameterized Algorithms for the Matrix Completion Problem ICML 2018 Proportional Allocation: Simple, Distributed, and Diverse Matching with High Entropy ICML 2018 Provably Correct Algorithms for Matrix Column Subset Selection with Selectively Sampled Data JMLR 2018 Provably Correct Automatic Sub-Differentiation for Qualified Programs NeurIPS 2018 Radially-Distorted Conjugate Translations CVPR 2018 Reconstructing Thin Structures of Manifold Surfaces by Integrating Spatial Curves CVPR 2018 Robust Subspace Approximation in a Stream NeurIPS 2018 Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018 Self-Bounded Prediction Suffix Tree via Approximate String Matching ICML 2018 Simple Propagation with Arc-Reversal in Bayesian Networks PGM 2018 Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018 Sketching for Kronecker Product Regression and P-splines AISTATS 2018 Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection IJCAI 2018 Solving Sudoku with Consistency: A Visual and Interactive Approach IJCAI 2018 Solving the Perspective-2-Point Problem for Flying-Camera Photo Composition CVPR 2018 Spectrally Approximating Large Graphs with Smaller Graphs ICML 2018 Stratification for Constraint-Based Multi-Objective Combinatorial Optimization IJCAI 2018 Structured Local Minima in Sparse Blind Deconvolution NeurIPS 2018 Synthesizing Pattern Programs from Examples IJCAI 2018 The Computational Complexity of Distinctive Feature Minimization in Phonology NAACL 2018 The FastMap Algorithm for Shortest Path Computations IJCAI 2018 Topkapi: Parallel and Fast Sketches for Finding Top-K Frequent Elements NeurIPS 2018 Towards Bridging Resolution in German: Data Analysis and Rule-based Experiments NAACL 2018 Training Gaussian Mixture Models at Scale via Coresets JMLR 2018