Algorithms

Efficient Detection of Long Consistent Cycles and its Application to Distributed Synchronization CVPR 2024 Efficiently Computing Similarities to Private Datasets ICLR 2024 Efficient Solution of Point-Line Absolute Pose CVPR 2024 EGODE: An Event-attended Graph ODE Framework for Modeling Rigid Dynamics NeurIPS 2024 Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024 End-to-End Verification for Subgraph Solving AAAI 2024 Enforcing Constraints in RNA Secondary Structure Predictions: A Post-Processing Framework Based on the Assignment Problem ICML 2024 Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024 Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024 Equilibrium Computation in Multidimensional Congestion Games: CSP and Learning Dynamics Approaches UAI 2024 Equivalence Testing: The Power of Bounded Adaptivity AISTATS 2024 Euclidean distance compression via deep random features NeurIPS 2024 Even Sparser Graph Transformers NeurIPS 2024 Exact ASP Counting with Compact Encodings AAAI 2024 Fast Dynamic Sampling for Determinantal Point Processes AISTATS 2024 Faster Spectral Density Estimation and Sparsification in the Nuclear Norm (Extended Abstract) COLT 2024 Faster Streaming and Scalable Algorithms for Finding Directed Dense Subgraphs in Large Graphs ICML 2024 Fast Exact Retrieval for Nearest-neighbor Lookup (FERN) NAACL 2024 Fast parallel sampling under isoperimetry COLT 2024 First Passage Percolation with Queried Hints AISTATS 2024 Fitting Flats to Flats CVPR 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 Friendly Attacks to Improve Channel Coding Reliability AAAI 2024 Functionally Constrained Algorithm Solves Convex Simple Bilevel Problem NeurIPS 2024 Gap-Free Clustering: Sensitivity and Robustness of SDP COLT 2024