← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

A Faster Maximum Cardinality Matching Algorithm with Applications in Machine Learning NIPS 2021
Efficiently Enumerating Substrings with Statistically Significant Frequencies of Locally Optimal Occurrences in Gigantic String AAAI 2020
Minimal Solutions to Relative Pose Estimation From Two Views Sharing a Common Direction With Unknown Focal Length CVPR 2020
Discovering Synchronized Subsets of Sequences: A Large Scale Solution CVPR 2020
A Graduated Filter Method for Large Scale Robust Estimation CVPR 2020
Efficient and Robust Shape Correspondence via Sparsity-Enforced Quadratic Assignment CVPR 2020
Optimal Algorithms for Continuous Non-monotone Submodular and DR-Submodular Maximization JMLR 2020
Quasi-Newton Solver for Robust Non-Rigid Registration CVPR 2020
Fast MSER CVPR 2020
Social Ranking Manipulability for the CP-Majority, Banzhaf and Lexicographic Excellence Solutions IJCAI 2020
Dscorer: A Fast Evaluation Metric for Discourse Representation Structure Parsing ACL 2020
Multi-Tiered Strictly Local Functions ACL 2020
Photometric Stereo via Discrete Hypothesis-and-Test Search CVPR 2020
One-Shot Neural Architecture Search via Novelty Driven Sampling IJCAI 2020
Keeping Your Friends Close: Land Allocation with Friends IJCAI 2020
Robust Multiple-Path Orienteering Problem: Securing Against Adversarial Attacks RSS 2020
Understanding and Improving Proximity Graph Based Maximum Inner Product Search AAAI 2020
Pay Your Trip for Traffic Congestion: Dynamic Pricing in Traffic-Aware Road Networks AAAI 2020
Finding Minimum-Weight Link-Disjoint Paths with a Few Common Nodes AAAI 2020
Augmenting the Power of (Partial) MaxSat Resolution with Extension AAAI 2020
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms AAAI 2020
Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining AAAI 2020
Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming AAAI 2020
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020
Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020