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)

The Complexity of Temporal Vertex Cover in Small-Degree Graphs AAAI 2022
Improving Local Search Algorithms via Probabilistic Configuration Checking AAAI 2022
A Fast Local Search Algorithm for the Latin Square Completion Problem AAAI 2022
Subset Approximation of Pareto Regions with Bi-objective A* AAAI 2022
Seq2Pat: Sequence-to-Pattern Generation for Constraint-Based Sequential Pattern Mining AAAI 2022
The Bullets Puzzle: A Paper-and-Pencil Minesweeper AAAI 2022
A Scalable Parallel Algorithm for Balanced Sampling (Student Abstract) AAAI 2022
Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022
Sampling and Counting Acyclic Orientations in Chordal Graphs (Student Abstract) AAAI 2022
A Hybrid Evolutionary Algorithm for the Diversified Top-k Weight Clique Search Problem (Student Abstract) AAAI 2022
Efficient Attribute (α,β)-Core Detection in Large Bipartite Graphs (Student Abstract) AAAI 2022
Proof of Learning: Towards a Practical Blockchain Consensus Mechanism Using Directed Guiding Gradients (Student Abstract) AAAI 2022
From “Dynamics on Graphs” to “Dynamics of Graphs”: An Adaptive Echo-State Network Solution (Student Abstract) AAAI 2022
Higher-Order Dependency Parsing for Arc-Polynomial Score Functions via Gradient-Based Methods and Genetic Algorithm AACL 2022
Interactive Word Completion for Plains Cree ACL 2022
Gi2Pi Rule-based, index-preserving grapheme-to-phoneme transformations ACL 2022
A New Framework for Fast Automated Phonological Reconstruction Using Trimmed Alignments and Sound Correspondence Patterns ACL 2022
Online Page Migration with ML Advice AISTATS 2022
DEANN: Speeding up Kernel-Density Estimation using Approximate Nearest Neighbor Search AISTATS 2022
How to scale hyperparameters for quickshift image segmentation AISTATS 2022
New Coresets for Projective Clustering and Applications AISTATS 2022
Asymptotically Optimal Locally Private Heavy Hitters via Parameterized Sketches AISTATS 2022
Exact Community Recovery over Signed Graphs AISTATS 2022
On a Connection Between Fast and Sparse Oblivious Subspace Embeddings AISTATS 2022
Fast and Accurate End-to-End Span-based Semantic Role Labeling as Word-based Graph Parsing COLING 2022