conftrace_
← Topics

Computer Science

5,747 papers (0 classified directly here)

Subtopics

Applications (3,823) Foundations (1,623) Systems (601)

Papers per year

1
18
96
551
887
'05
'10
'15
'20
'25

Papers (including subtopics)

Community Focusing: Yet Another Query-Dependent Community Detection AAAI 2019
Data Augmentation Based on Adversarial Autoencoder Handling Imbalance for Learning to Rank AAAI 2019
Optimal Surveillance of Covert Networks by Minimizing Inverse Geodesic Length AAAI 2019
A Study of Educational Data Mining: Evidence from a Thai University AAAI 2019
Forbidden Nodes Aware Community Search AAAI 2019
Deep Reinforcement Learning for Syntactic Error Repair in Student Programs AAAI 2019
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing AAAI 2019
TET-GAN: Text Effects Transfer via Stylization and Destylization AAAI 2019
Incorporating Semantic Similarity with Geographic Correlation for Query-POI Relevance Learning AAAI 2019
Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI 2019
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019
On Geometric Alignment in Low Doubling Dimension AAAI 2019
Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019
Abduction-Based Explanations for Machine Learning Models AAAI 2019
A Recursive Algorithm for Projected Model Counting AAAI 2019
Automatic Construction of Parallel Portfolios via Explicit Instance Grouping AAAI 2019
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019
Concurrency Debugging with MaxSMT AAAI 2019
Regular Boardgames AAAI 2019
3D Face Synthesis Driven by Personality Impression AAAI 2019
The Pure Price of Anarchy of Pool Block Withholding Attacks in Bitcoin Mining AAAI 2019
Generalized Distance Bribery AAAI 2019
Convergence of Learning Dynamics in Information Retrieval Games AAAI 2019
On the Complexity of the Inverse Semivalue Problem for Weighted Voting Games AAAI 2019