conftrace_

computational complexity

399 papers

Explore in graph

Co-occurring keywords

approximation algorithm (630) complexity analysis (93) combinatorial optimization (1039) game theory (854) sample complexity (1169) argumentation framework (50) approval voting (66) neural network (6616) learning theory (519) abstract argumentation (49)

Papers

Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017
The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality IJCAI 2017
Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) IJCAI 2017
On the Fine-Grained Complexity of Empirical Risk Minimization: Kernel Methods and Neural Networks NIPS 2017
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017
Manipulating Opinion Diffusion in Social Networks IJCAI 2017
The Complexity of Explaining Neural Networks Through (group) Invariants ALT 2017
Searching for Well-Behaved Fragments of Halpern-Shoham Logic IJCAI 2017
More Is Less: A More Complicated Network With Less Inference Complexity CVPR 2017
On the Complexity of Learning from Label Proportions IJCAI 2017
On Coalitional Manipulation for Multiwinner Elections: Shortlisting IJCAI 2017
On the Computational Complexity of Gossip Protocols IJCAI 2017
Inapproximability of VC Dimension and Littlestone’s Dimension COLT 2017
Reducing the Computational Complexity of Two-Dimensional LSTMs INTERSPEECH 2017
Learning the Structure of Variable-Order CRFs: a finite-state perspective EMNLP 2017
Pure Nash Equilibria in Online Fair Division IJCAI 2017
Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017
The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017
On the Approximability of Sparse PCA COLT 2016
Automatic Image Cropping : A Computational Complexity Study CVPR 2016
A Guide to Learning Arithmetic Circuits COLT 2016
Average-case hardness of RIP certification NIPS 2016
Reducing the Computational Complexity of Multimicrophone Acoustic Models with Integrated Feature Extraction INTERSPEECH 2016
More Supervision, Less Computation: Statistical-Computational Tradeoffs in Weakly Supervised Learning NIPS 2016