Computer Science

Near-Optimal Budgeted Data Exchange for Distributed Loop Closure Detection RSS 2018 Neural Adaptive Content-aware Internet Video Delivery OSDI 2018 Neural Guided Constraint Logic Programming for Program Synthesis NeurIPS 2018 Neural User Response Generator: Fake News Detection with Collective User Intelligence IJCAI 2018 Nickel: A Framework for Design and Verification of Information Flow Control Systems OSDI 2018 NLP Web Services for Resource-Scarce Languages ACL 2018 Nonlinear Weighted Finite Automata AISTATS 2018 Non-metric Similarity Graphs for Maximum Inner Product Search NeurIPS 2018 Noria: dynamic, partially-stateful data-flow for high-performance web applications OSDI 2018 Norm-Ranging LSH for Maximum Inner Product Search NeurIPS 2018 Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018 Novel Structural Parameters for Acyclic Planning Using Tree Embeddings IJCAI 2018 NPRF: A Neural Pseudo Relevance Feedback Framework for Ad-hoc Information Retrieval EMNLP 2018 OATM: Occlusion Aware Template Matching by Consensus Set Maximization CVPR 2018 Obladi: Oblivious Serializable Transactions in the Cloud OSDI 2018 Observational Comparison of Geo-tagged and Randomly-drawn Tweets NAACL 2018 Online Convolutional Sparse Coding with Sample-Dependent Dictionary ICML 2018 On the Convergence of PatchMatch and Its Variants CVPR 2018 On the Duality Between Retinex and Image Dehazing CVPR 2018 On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract) IJCAI 2018 Optimal Algorithms for Non-Smooth Distributed Optimization in Networks NeurIPS 2018 Orca: Differential Bug Localization in Large-Scale Services OSDI 2018 Out-of-sample extension of graph adjacency spectral embedding ICML 2018 Par4Sim – Adaptive Paraphrasing for Text Simplification COLING 2018 Parallel and Streaming Algorithms for K-Core Decomposition ICML 2018