conftrace_
← Computer Science
Computer Science ›

Foundations

1,623 papers (0 classified directly here)

Subtopics

Algorithms (1,298) Graph Theory (190) Formal Languages (113) Programming Languages (46) Data Structures (39)

Papers per year

1
7
34
188
122
'05
'10
'15
'20
'25

Papers (including subtopics)

AC-Band: A Combinatorial Bandit-Based Approach to Algorithm Configuration AAAI 2023
Optimal Pathfinding on Weighted Grid Maps AAAI 2023
Ultrafast Euclidean Shortest Path Computation Using Hub Labeling AAAI 2023
Analyzing and Improving the Use of the FastMap Embedding in Pathfinding Tasks AAAI 2023
Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023
Electrophysiological Brain Source Imaging via Combinatorial Search with Provable Optimality AAAI 2023
Daycare Matching in Japan: Transfers and Siblings AAAI 2023
The Automatic Computer Scientist AAAI 2023
Intelligent Planning for Large-Scale Multi-Robot Coordination AAAI 2023
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) AAAI 2023
Counting Knot Mosaics with ALLSAT (Student Abstract) AAAI 2023
Efficient Semiring-Weighted Earley Parsing ACL 2023
Convergence and Diversity in the Control Hierarchy ACL 2023
Conjunct Lengths in English, Dependency Length Minimization, and Dependency Structure of Coordination ACL 2023
Back to Patterns: Efficient Japanese Morphological Analysis with Feature-Sequence Trie ACL 2023
A Fast Algorithm for Computing Prefix Probabilities ACL 2023
Morphological Inflection with Phonological Features ACL 2023
A Formal Perspective on Byte-Pair Encoding ACL 2023
Complex-to-Real Sketches for Tensor Products with Applications to the Polynomial Kernel AISTATS 2023
Online Algorithms with Costly Predictions AISTATS 2023
Finding Geometric Models by Clustering in the Consensus Space CVPR 2023
Revisiting Rotation Averaging: Uncertainties and Robust Losses CVPR 2023
Conjugate Product Graphs for Globally Optimal 2D-3D Shape Matching CVPR 2023
3D Registration With Maximal Cliques CVPR 2023
Revisiting Rolling Shutter Bundle Adjustment: Toward Accurate and Fast Solution CVPR 2023