Algorithms

Perturbation Analysis of the 8-Point Algorithm: A Case Study for Wide FoV Cameras CVPR 2019 Practical Algorithms for Multi-Stage Voting Rules with Parallel Universes Tiebreaking AAAI 2019 Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding IJCAI 2019 Procrastinating with Confidence: Near-Optimal, Anytime, Adaptive Algorithm Configuration NeurIPS 2019 Progressive-X: Efficient, Anytime, Multi-Model Fitting Algorithm ICCV 2019 Query-focused Sentence Compression in Linear Time EMNLP 2019 Random Projections with Asymmetric Quantization NeurIPS 2019 Random Walk Decay Centrality AAAI 2019 Re-randomized Densification for One Permutation Hashing and Bin-wise Consistent Weighted Sampling NeurIPS 2019 Resolution and Domination: An Improved Exact MaxSAT Algorithm IJCAI 2019 Rotational Diversity in Multi-Cycle Assignment Problems AAAI 2019 Sampling Sketches for Concave Sublinear Functions of Frequencies NeurIPS 2019 SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019 Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT IJCAI 2019 Sliding Window Temporal Graph Coloring AAAI 2019 Smoothing Structured Decomposable Circuits NeurIPS 2019 Solving Empirical Risk Minimization in the Current Matrix Multiplication Time COLT 2019 Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring IJCAI 2019 Space and Time Efficient Kernel Density Estimation in High Dimensions NeurIPS 2019 SPoC: Search-based Pseudocode to Code NeurIPS 2019 Stochastic Continuous Greedy ++: When Upper and Lower Bounds Match NeurIPS 2019 Sublinear Time Nearest Neighbor Search over Generalized Weighted Space ICML 2019 Subquadratic High-Dimensional Hierarchical Clustering NeurIPS 2019 Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding AAAI 2019