Foundations

On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm AAAI 2023 Optimal LP Rounding and Linear-Time Approximation Algorithms for Clustering Edge-Colored Hypergraphs ICML 2023 Optimal Pathfinding on Weighted Grid Maps AAAI 2023 Optimal Scoring Rules for Multi-dimensional Effort COLT 2023 Parallel Submodular Function Minimization NeurIPS 2023 Parameterized Algorithms for Colored Clustering AAAI 2023 Phase transition for detecting a small community in a large network ICLR 2023 Polyhedral Complex Extraction from ReLU Networks using Edge Subdivision ICML 2023 Practical Parallel Algorithms for Submodular Maximization Subject to a Knapsack Constraint with Nearly Optimal Adaptivity AAAI 2023 Provably Auditing Ordinary Least Squares in Low Dimensions ICLR 2023 Quadratic Memory is Necessary for Optimal Query Complexity in Convex Optimization: Center-of-Mass is Pareto-Optimal COLT 2023 Quantum Multi-Model Fitting CVPR 2023 Query-Aware Quantization for Maximum Inner Product Search AAAI 2023 Range-Based Equal Error Rate for Spoof Localization Interspeech 2023 Ranking-based Argumentation Semantics Applied to Logical Argumentation IJCAI 2023 Recognizing Rigid Patterns of Unlabeled Point Clouds by Complete and Continuous Isometry Invariants With No False Negatives and No False Positives CVPR 2023 Regarding Topology and Variant Frame Rates for Differentiable WFST-based End-to-End ASR Interspeech 2023 Revisiting Rolling Shutter Bundle Adjustment: Toward Accurate and Fast Solution CVPR 2023 Revisiting Rotation Averaging: Uncertainties and Robust Losses CVPR 2023 Revisiting the P3P Problem CVPR 2023 Robust Algorithms on Adaptive Inputs from Bounded Adversaries ICLR 2023 RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks OSDI 2023 SANGEA: Scalable and Attributed Network Generation ACML 2023 Scalable and Effective Conductance-Based Graph Clustering AAAI 2023 Scalable and Globally Optimal Generalized L₁ K-center Clustering via Constraint Generation in Mixed Integer Linear Programming AAAI 2023