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)

On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract) IJCAI 2018
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) IJCAI 2018
Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018
Generating Plans for Cooperative Connected UAVs IJCAI 2018
SynKit: LTL Synthesis as a Service IJCAI 2018
Solving Sudoku with Consistency: A Visual and Interactive Approach IJCAI 2018
Multicomponent 2-D AM-FM Modeling of Speech Spectrograms INTERSPEECH 2018
An Optimization Framework for Recovery of Speech from Phase-Encoded Spectrograms INTERSPEECH 2018
Large Vocabulary Concatenative Resynthesis INTERSPEECH 2018
A GPU-based WFST Decoder with Exact Lattice Generation INTERSPEECH 2018
Multi-frame Coding of LSF Parameters Using Block-Constrained Trellis Coded Vector Quantization INTERSPEECH 2018
Provably Correct Algorithms for Matrix Column Subset Selection with Selectively Sampled Data JMLR 2018
Training Gaussian Mixture Models at Scale via Coresets JMLR 2018
Maximum Selection and Sorting with Adversarial Comparators JMLR 2018
The Computational Complexity of Distinctive Feature Minimization in Phonology NAACL 2018
Towards Bridging Resolution in German: Data Analysis and Rule-based Experiments NAACL 2018
The benefits and costs of writing a POSIX kernel in a high-level language OSDI 2018
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing OSDI 2018
Noria: dynamic, partially-stateful data-flow for high-performance web applications OSDI 2018
Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory OSDI 2018
ASAP: Fast, Approximate Graph Pattern Mining at Scale OSDI 2018
Finding Minimal Separators in LWF Chain Graphs PGM 2018
Simple Propagation with Arc-Reversal in Bayesian Networks PGM 2018
Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018
Handling implicit and explicit constraints in manipulation planning RSS 2018