← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

HDQMF: Holographic Feature Decomposition Using Quantum Algorithms CVPR 2024
Sketch In, Sketch Out: Accelerating both Learning and Inference for Structured Prediction with Kernels AISTATS 2024
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024
Approval-Based Committee Voting in Practice: A Case Study of (over-)Representation in the Polkadot Blockchain AAAI 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
Individual Rationality in Topological Distance Games Is Surprisingly Hard IJCAI 2024
HOPE: Shape Matching Via Aligning Different K-hop Neighbourhoods NIPS 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Popular and Dominant Matchings with Uncertain and Multimodal Preferences IJCAI 2024
Multivariate Analysis and Structural Restrictions in Computational Social Choice IJCAI 2024
OctoSketch: Enabling Real-Time, Continuous Network Monitoring over Multiple Cores NSDI 2024
Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024
Swing: Short-cutting Rings for Higher Bandwidth Allreduce NSDI 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024
Sifter: An Inversion-Free and Large-Capacity Programmable Packet Scheduler NSDI 2024
Low-degree phase transitions for detecting a planted clique in sublinear time COLT 2024
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024
An Exercise in Tournament Design: When Some Matches Must Be Scheduled AAAI 2024
A Tensor-Based Formalization of the Event Calculus IJCAI 2024
KITRO: Refining Human Mesh by 2D Clues and Kinematic-tree Rotation CVPR 2024
TutteNet: Injective 3D Deformations by Composition of 2D Mesh Deformations CVPR 2024
Accelerating Matroid Optimization through Fast Imprecise Oracles NIPS 2024
Zeta*-SIPP: Improved Time-Optimal Any-Angle Safe-Interval Path Planning IJCAI 2024
PyFoma: a Python finite-state compiler module ACL 2024
Sequential Signal Mixing Aggregation for Message Passing Graph Neural Networks NIPS 2024