Algorithms

Understanding and Improving Proximity Graph Based Maximum Inner Product Search AAAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020 Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020 VMscatter: A Versatile MIMO Backscatter NSDI 2020 Warping Residual Based Image Stitching for Large Parallax CVPR 2020 WOR and p's: Sketches for ℓ_p-Sampling Without Replacement NeurIPS 2020 3D Shape Reconstruction From Images in the Frequency Domain CVPR 2019 A Better Algorithm for Societal Tradeoffs AAAI 2019 Adaptive Estimation for Approximate k-Nearest-Neighbor Computations AISTATS 2019 Adaptive Hashing for Model Counting UAI 2019 A Genetic Algorithm for Finding a Small and Diverse Set of Recent News Stories on a Given Subject: How We Generate AAAI’s AI-Alert AAAI 2019 Analysis of Feature Visibility in Non-Line-Of-Sight Measurements CVPR 2019 An Improved Hierarchical Datastructure for Nearest Neighbor Search AAAI 2019 Anytime Recursive Best-First Search for Bounding Marginal MAP AAAI 2019 A Polynomial-time Solution for Robust Registration with Extreme Outlier Rates RSS 2019 Approximation and Hardness of Shift-Bribery AAAI 2019 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019 A Recursive Algorithm for Projected Model Counting AAAI 2019 Argumentation for Explainable Scheduling AAAI 2019 A Robust and Efficient Algorithm for the PnL Problem Using Algebraic Distance to Approximate the Reprojection Distance AAAI 2019 A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019 A Survey on Hierarchical Planning – One Abstract Idea, Many Concrete Realizations IJCAI 2019 A Tree-Based Method for Fast Repeated Sampling of Determinantal Point Processes ICML 2019 A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem AAAI 2019 Automatic Construction of Parallel Portfolios via Explicit Instance Grouping AAAI 2019