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)

A Tensor-Based Formalization of the Event Calculus IJCAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Contrastive General Graph Matching with Adaptive Augmentation Sampling IJCAI 2024
Deep Neural Networks via Complex Network Theory: A Perspective IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024
Scalable Landmark Hub Labeling for Optimal and Bounded Suboptimal Pathfinding IJCAI 2024
Improved Approximation Algorithms for Capacitated Location Routing IJCAI 2024
Zeta*-SIPP: Improved Time-Optimal Any-Angle Safe-Interval Path Planning IJCAI 2024
A Survey on Rank Aggregation IJCAI 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024
Multivariate Analysis and Structural Restrictions in Computational Social Choice IJCAI 2024
Audio Fingerprinting with Holographic Reduced Representations INTERSPEECH 2024
Beam-search SIEVE for low-memory speech recognition INTERSPEECH 2024
Seeded Graph Matching for the Correlated Gaussian Wigner Model via the Projected Power Method JMLR 2024
Pygmtools: A Python Graph Matching Toolkit JMLR 2024
Functional Directed Acyclic Graphs JMLR 2024
Random Subgraph Detection Using Queries JMLR 2024
PAMI: An Open-Source Python Library for Pattern Mining JMLR 2024
Memory-Efficient Sequential Pattern Mining with Hybrid Tries JMLR 2024
skscope: Fast Sparsity-Constrained Optimization in Python JMLR 2024
PyDMD: A Python Package for Robust Dynamic Mode Decomposition JMLR 2024
Fast Exact Retrieval for Nearest-neighbor Lookup (FERN) NAACL 2024
Source Code is a Graph, Not a Sequence: A Cross-Lingual Perspective on Code Clone Detection NAACL 2024