← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques AAAI 2026
How Hard Is It to Rig a Tournament When Few Players Can Beat or Be Beaten by the Favorite? AAAI 2026
Universal Safety Controllers with Learned Prophecies AAAI 2026
Exact Algorithms for Distance to Unique Vertex Cover AAAI 2026
Certified Branch-and-Bound MaxSAT Solving AAAI 2026
Deeper Treatment of the Bi-objective Search Framework AAAI 2026
Fast and Synchronous Crash Consistency with Metadata Write-Once File System OSDI 2025
DiskVPS: Vanishing Point Detector via Hough Transform in a Disk Region CVPR 2025
Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery OSDI 2025
(1+1) Genetic Programming with Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error AAAI 2025
Matrix-Free Shared Intrinsics Bundle Adjustment CVPR 2025
Practical Solutions to the Relative Pose of Three Calibrated Cameras CVPR 2025
Spectral Sensitivity Estimation with an Uncalibrated Diffraction Grating ICCV 2025
Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty OSDI 2025
Inapproximability of Optimal Multi-Agent Pathfinding Problems AAAI 2025
Are Optimal Algorithms Still Optimal? Rethinking Sorting in LLM-Based Pairwise Ranking with Batching and Caching ACL 2025
Curriculum Coarse-to-Fine Selection for High-IPC Dataset Distillation CVPR 2025
Order-One Rolling Shutter Cameras CVPR 2025
Improved Approximation Algorithms for Clustered TSP and Subgroup Planning AAAI 2025
Pre-Assignment Problem for Unique Minimum Vertex Cover on Bounded Clique-Width Graphs AAAI 2025
Online and Streaming Algorithms for Constrained k-Submodular Maximization AAAI 2025
A Conic Transformation Approach for Solving the Perspective-Three-Point Problem WACV 2025
On the Recovery of Cameras from Fundamental Matrices ICCV 2025
Less is More: Efficient Image Vectorization with Adaptive Parameterization CVPR 2025
Solving Multiagent Path Finding on Highly Centralized Networks AAAI 2025