Computer Science

On Scene Flow Computation of Gas Structures with Optical Gas Imaging Cameras WACV 2020 On Testing of Samplers NeurIPS 2020 On the Complexity of Winner Verification and Candidate Winner for Multiwinner Voting Rules IJCAI 2020 On the Discrepancy between the Theoretical Analysis and Practical Implementations of Compressed Communication for Distributed Deep Learning AAAI 2020 On the Expressivity of ASK Queries in SPARQL AAAI 2020 On the Problem of Covering a 3-D Terrain AAAI 2020 On the Use of Web Search to Improve Scientific Collections EMNLP 2020 Opening the Black Box: Automatically Characterizing Software for Algorithm Selection (Student Abstract) AAAI 2020 Open Problem: Average-Case Hardness of Hypergraphic Planted Clique Detection COLT 2020 Optimal Algorithms for Continuous Non-monotone Submodular and DR-Submodular Maximization JMLR 2020 Optimal least-squares solution to the hand-eye calibration problem CVPR 2020 Optimization from Structured Samples for Coverage Functions ICML 2020 Optimizing Reachability Sets in Temporal Graphs by Delaying AAAI 2020 Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection AAAI 2020 Orthogonal Relation Transforms with Graph Context Modeling for Knowledge Graph Embedding ACL 2020 Overload Control for µs-scale RPCs with Breakwater OSDI 2020 PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy OSDI 2020 Pairwise Supervised Hashing with Bernoulli Variational Auto-Encoder and Self-Control Gradient Estimator UAI 2020 PALMYRA 2.0: A Configurable Multilingual Platform Independent Tool for Morphology and Syntax Annotation COLING 2020 PANIC: A High-Performance Programmable NIC for Multi-tenant Networks OSDI 2020 ParaCrawl: Web-Scale Acquisition of Parallel Corpora ACL 2020 Parallel Algorithm for Non-Monotone DR-Submodular Maximization ICML 2020 Path Integral Based Convolution and Pooling for Graph Neural Networks NeurIPS 2020 Pay Your Trip for Traffic Congestion: Dynamic Pricing in Traffic-Aware Road Networks AAAI 2020 Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories OSDI 2020