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)

Ranking-based Argumentation Semantics Applied to Logical Argumentation IJCAI 2023
Minimizing Reachability Times on Temporal Graphs via Shifting Labels IJCAI 2023
Efficient Object Search in Game Maps IJCAI 2023
A Refined Upper Bound and Inprocessing for the Maximum K-plex Problem IJCAI 2023
Automating Rigid Origami Design IJCAI 2023
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023
FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract) IJCAI 2023
Algorithm-Hardware Co-Design for Efficient Brain-Inspired Hyperdimensional Learning on Edge (Extended Abstract) IJCAI 2023
Incremental Event Calculus for Run-Time Reasoning (Extended Abstract) IJCAI 2023
Multi-objective Search via Lazy and Efficient Dominance Checks IJCAI 2023
Range-Based Equal Error Rate for Spoof Localization INTERSPEECH 2023
Regarding Topology and Variant Frame Rates for Differentiable WFST-based End-to-End ASR INTERSPEECH 2023
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023
Large sample spectral analysis of graph-based multi-manifold clustering JMLR 2023
Efficient Computation of Rankings from Pairwise Comparisons JMLR 2023
CausalSim: A Causal Framework for Unbiased Trace-Driven Simulation NSDI 2023
Following the Data, Not the Function: Rethinking Function Orchestration in Serverless Computing NSDI 2023
RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks OSDI 2023
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity OSDI 2023
NeuSE: Neural SE(3)-Equivariant Embedding for Consistent Spatial Understanding with Objects RSS 2023
Fractual Projection Forest: Fast and Explainable Point Cloud Classifier WACV 2023
Anytime-Valid Inference For Multinomial Count Data NIPS 2022
Sublinear Algorithms for Hierarchical Clustering NIPS 2022
Dynamic Tensor Product Regression NIPS 2022