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)

Revisiting Proportional Allocation with Subsidy: Simplification and Improvements IJCAI 2025
kgMBQA: Quality Knowledge Graph-driven Multimodal Blind Image Assessment IJCAI 2025
Circuit-Aware d-DNNF Compilation IJCAI 2025
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025
Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025
Q-Detection: A Quantum-Classical Hybrid Poisoning Attack Detection Method IJCAI 2025
MiniMal: Hard-Label Adversarial Attack Against Static Malware Detection with Minimal Perturbation IJCAI 2025
Guiding LLM-based Smart Contract Generation with Finite State Machine IJCAI 2025
Heterophily-Aware Personalized PageRank for Node Classification IJCAI 2025
POLO: An LLM-Powered Project-Level Code Performance Optimization Framework IJCAI 2025
Lazy Testing of Machine-Learning Models IJCAI 2025
MA-RAG: Automating Role Engineering for RESTful APIs with Multi-Head Attention and Retrieval-Augmented Generation IJCAI 2025
Can We Translate Code Better with LLMs and Call Graph Analysis? IJCAI 2025
Adaptive Wizard for Removing Cross-Tier Misconfigurations in Active Directory IJCAI 2025
BinMetric: A Comprehensive Binary Code Analysis Benchmark for Large Language Models IJCAI 2025
SecV: LLM-based Secure Verilog Generation with Clue-Guided Exploration on Hardware-CWE Knowledge Graph IJCAI 2025
Fast and Stronger Lower Bounds for Planar Euclidean Shortest Paths IJCAI 2025
Proactive Data-driven Scheduling of Business Processes IJCAI 2025
Proven Approximation Guarantees in Multi-Objective Optimization: SPEA2 Beats NSGA-II IJCAI 2025
NuMDS: An Efficient Local Search Algorithm for Minimum Dominating Set Problem IJCAI 2025
InfVC: An Inference-Enhanced Local Search Algorithm for the Minimum Vertex Cover Problem in Massive Graphs IJCAI 2025
Exact Algorithms with New Upper Bounds for the Maximum k-plex Problem IJCAI 2025
Attractor-based Closed List Search: Sparsifying the Closed List for Efficient Memory-Constrained Planning IJCAI 2025
Two-stage Risk Control with Application to Ranked Retrieval IJCAI 2025
Physics-based Generative Models for Geometrically Consistent and Interpretable Wireless Channel Synthesis IJCAI 2025