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)

Discovering conflicting groups in signed networks NIPS 2020
On Adaptive Distance Estimation NIPS 2020
Adaptive Learned Bloom Filter (Ada-BF): Efficient Utilization of the Classifier with Application to Real-Time Information Filtering on the Web NIPS 2020
Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients NIPS 2020
Mitigating Manipulation in Peer Review via Randomized Reviewer Assignments NIPS 2020
Node Embeddings and Exact Low-Rank Representations of Complex Networks NIPS 2020
Efficient Clustering Based On A Unified View Of $K$-means And Ratio-cut NIPS 2020
A Randomized Algorithm to Reduce the Support of Discrete Measures NIPS 2020
Hitting the High Notes: Subset Selection for Maximizing Expected Order Statistics NIPS 2020
End-to-End Learning and Intervention in Games NIPS 2020
Fast Adaptive Non-Monotone Submodular Maximization Subject to a Knapsack Constraint NIPS 2020
Robustness of Community Detection to Random Geometric Perturbations NIPS 2020
Digraph Inception Convolutional Networks NIPS 2020
Provable Overlapping Community Detection in Weighted Graphs NIPS 2020
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay NIPS 2020
Unsupervised Translation of Programming Languages NIPS 2020
WOR and $p$'s: Sketches for $\ell_p$-Sampling Without Replacement NIPS 2020
Norm-Explicit Quantization: Improving Vector Quantization for Maximum Inner Product Search AAAI 2020
Understanding and Improving Proximity Graph Based Maximum Inner Product Search AAAI 2020
Pay Your Trip for Traffic Congestion: Dynamic Pricing in Traffic-Aware Road Networks AAAI 2020
Finding Minimum-Weight Link-Disjoint Paths with a Few Common Nodes AAAI 2020
Hiding in Multilayer Networks AAAI 2020
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) AAAI 2020
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020
Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020