Computer Science

BDI Agent Architectures: A Survey IJCAI 2020 Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference PGM 2020 BEDSR-Net: A Deep Shadow Removal Network From a Single Document Image CVPR 2020 Benchmarking Multimodal Regex Synthesis with Complex Structures ACL 2020 BERT-enhanced Relational Sentence Ordering Network EMNLP 2020 BERTering RAMS: What and How Much does BERT Already Know About Event Arguments? - A Study on the RAMS Dataset EMNLP 2020 BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval IJCAI 2020 Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract) IJCAI 2020 Better Algorithms for Estimating Non-Parametric Models in Crowd-Sourcing and Rank Aggregation COLT 2020 Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound IJCAI 2020 Bio-Inspired Hashing for Unsupervised Similarity Search ICML 2020 Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs IJCAI 2020 BitcoinHeist: Topological Data Analysis for Ransomware Prediction on the Bitcoin Blockchain IJCAI 2020 Black-Box Attacks on Spoofing Countermeasures Using Transferability of Adversarial Examples Interspeech 2020 Black-Box Methods for Restoring Monotonicity ICML 2020 Blockene: A High-throughput Blockchain Over Mobile Devices OSDI 2020 Blur Aware Calibration of Multi-Focus Plenoptic Camera CVPR 2020 Bounds in query learning COLT 2020 Budgeted Facility Location Games with Strategic Facilities IJCAI 2020 Building An Elastic Query Engine on Disaggregated Storage NSDI 2020 Building Scalable and Flexible Cluster Managers Using Declarative Programming OSDI 2020 Butterfly Transform: An Efficient FFT Based Neural Architecture Design CVPR 2020 Byzantine Ordered Consensus without Byzantine Oligarchy OSDI 2020 Caladan: Mitigating Interference at Microsecond Timescales OSDI 2020 Calorie Estimation in a Real-World Recipe Service AAAI 2020