Foundations

Robust Subspace Approximation in a Stream NeurIPS 2018 Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018 Sanskrit n-Retroflexion is Input-Output Tier-Based Strictly Local EMNLP 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 SynKit: LTL Synthesis as a Service IJCAI 2018 Synthesizing Pattern Programs from Examples IJCAI 2018 The benefits and costs of writing a POSIX kernel in a high-level language OSDI 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 Understanding Subgoal Graphs by Augmenting Contraction Hierarchies IJCAI 2018 Winning a Tournament by Any Means Necessary IJCAI 2018 Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory OSDI 2018