Computer Science

Sol: Fast Distributed Computation Over Slow Networks NSDI 2020 Solving Set Cover and Dominating Set via Maximum Satisfiability AAAI 2020 Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming AAAI 2020 Span-based discontinuous constituency parsing: a family of exact chart-based algorithms with time complexities from O(nˆ6) down to O(nˆ3) EMNLP 2020 Speaker-Independent Mel-Cepstrum Estimation from Articulator Movements Using D-Vector Input Interspeech 2020 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020 Spectral Algorithms for Community Detection in Directed Networks JMLR 2020 Speeding Up Incomplete GDL-based Algorithms for Multi-agent Optimization with Dense Local Utilities IJCAI 2020 Speeding up Very Fast Decision Tree with Low Computational Cost IJCAI 2020 SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues NSDI 2020 STEFANN: Scene Text Editor Using Font Adaptive Neural Network CVPR 2020 Stereoscopic Flash and No-Flash Photography for Shape and Albedo Recovery CVPR 2020 Stochastically Robust Personalized Ranking for LSH Recommendation Retrieval AAAI 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Sub-linear Memory Sketches for Near Neighbor Search on Streaming Data ICML 2020 Summarizing Text on Any Aspects: A Knowledge-Informed Weakly-Supervised Approach EMNLP 2020 Supervised Grapheme-to-Phoneme Conversion of Orthographic Schwas in Hindi and Punjabi ACL 2020 Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings UAI 2020 TailorNet: Predicting Clothing in 3D as a Function of Human Pose, Shape and Garment Style CVPR 2020 Taming Discrete Integration via the Boon of Dimensionality NeurIPS 2020 Task and Motion Planning Is PSPACE-Complete AAAI 2020 TellTail: Fast Scoring and Detection of Dense Subgraphs AAAI 2020 Temporal Similarity Analysis of Remote Photoplethysmography for Fast 3D Mask Face Presentation Attack Detection WACV 2020 Testing Database Engines via Pivoted Query Synthesis OSDI 2020 TextAttack: Lessons learned in designing Python frameworks for NLP EMNLP 2020