← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

Submodular Maximization subject to a Knapsack Constraint: Combinatorial Algorithms with Near-optimal Adaptive Complexity ICML 2021
Fast WordPiece Tokenization EMNLP 2021
A Root of a Problem: Optimizing Single-Root Dependency Parsing EMNLP 2021
A Decomposition Model for Stereo Matching CVPR 2021
Hyperdimensional Computing as a Framework for Systematic Aggregation of Image Descriptors CVPR 2021
Rearrangement on Lattices with Swaps: Optimality Structures and Efficient Algorithms RSS 2021
Greedy Approximation Algorithms for Active Sequential Hypothesis Testing NIPS 2021
Cardinality constrained submodular maximization for random streams NIPS 2021
A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs NIPS 2021
Optimal Sketching for Trace Estimation NIPS 2021
Learning to Combine Per-Example Solutions for Neural Program Synthesis NIPS 2021
Reformulating DOVER-Lap Label Mapping as a Graph Partitioning Problem INTERSPEECH 2021
Rejection Sampling for Weighted Jaccard Similarity Revisited AAAI 2021
Nearly Linear-Time, Parallelizable Algorithms for Non-Monotone Submodular Maximization AAAI 2021
Improving Continuous-time Conflict Based Search AAAI 2021
Learning to Resolve Conflicts for Multi-Agent Path Finding with Conflict-Based Search AAAI 2021
Saturated Post-hoc Optimization for Classical Planning AAAI 2021
OPRA: An Open-Source Online Preference Reporting and Aggregation System AAAI 2021
PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021
OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots AAAI 2021
Bringing UMAP Closer to the Speed of Light with GPU Acceleration AAAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021
On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021
The Power of Literal Equivalence in Model Counting AAAI 2021