conftrace_
← Topics

Computer Science

5,693 papers (0 classified directly here)

Subtopics

Applications (3,478) Foundations (1,617) Systems (1,007)

Papers per year

Papers (including subtopics)

When to Show a Suggestion? Integrating Human Feedback in AI-Assisted Programming AAAI 2024
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024
Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024
Submodel Enumeration for CTL Is Hard AAAI 2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
A Compiler for Weak Decomposable Negation Normal Form AAAI 2024
Exact ASP Counting with Compact Encodings AAAI 2024
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024
Optimised Storage for Datalog Reasoning AAAI 2024
Exploiting Symmetric Temporally Sparse BPTT for Efficient RNN Training AAAI 2024
SEA-GWNN: Simple and Effective Adaptive Graph Wavelet Neural Network AAAI 2024
Harnessing Manycore Processors with Distributed Memory for Accelerated Training of Sparse and Recurrent Models AAAI 2024
Learning Broadcast Protocols AAAI 2024
Learning Small Decision Trees with Few Outliers: A Parameterized Perspective AAAI 2024
Terrain Diffusion Network: Climatic-Aware Terrain Generation with Geological Sketch Guidance AAAI 2024
Universal Weak Coreset AAAI 2024
Friendly Attacks to Improve Channel Coding Reliability AAAI 2024
Self-Supervised Multi-Modal Knowledge Graph Contrastive Hashing for Cross-Modal Search AAAI 2024
Hypergraph Neural Architecture Search AAAI 2024
Learning Temporal Resolution in Spectrogram for Audio Classification AAAI 2024
Simple Weak Coresets for Non-decomposable Classification Measures AAAI 2024