Computer Science

Robust Subspace Approximation in a Stream NeurIPS 2018 RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine OSDI 2018 Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018 Sanity Checks for Saliency Maps NeurIPS 2018 Sanskrit n-Retroflexion is Input-Output Tier-Based Strictly Local EMNLP 2018 Seeing Temporal Modulation of Lights From Standard Cameras CVPR 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018 Selecting Representative Examples for Program Synthesis ICML 2018 Self-Bounded Prediction Suffix Tree via Approximate String Matching ICML 2018 Semantic Structure-based Unsupervised Deep Hashing IJCAI 2018 SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018 Sharding the Shards: Managing Datastore Locality at Scale with Akkio OSDI 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 Simplified Abugidas ACL 2018 SingleCite: Towards an improved Single Citation Search in PubMed ACL 2018 Sketching for Kronecker Product Regression and P-splines AISTATS 2018 Sledgehammer: Cluster-Fueled Debugging OSDI 2018 SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows NSDI 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 Sounding Board: A User-Centric and Content-Driven Social Chatbot NAACL 2018 Spectrally Approximating Large Graphs with Smaller Graphs ICML 2018 Spline Filters For End-to-End Deep Learning ICML 2018