Search

Search Results

• D-SPIDER-SFO: A Decentralized Optimization Algorithm with Faster Convergence Rate for Nonconvex Problems

  Taoxing Pan, Jun Liu, Jie Wang

  1619-1626

  2020-04-03

• Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms

  Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha

  1627-1635

  2020-04-03

• Efficient Algorithms for Generating Provably Near-Optimal Cluster Descriptors for Explainability

  Prathyush Sambaturu, Aparna Gupta, Ian Davidson, S. S. Ravi, Anil Vullikanti, Andrew Warren

  1636-1643

  2020-04-03

• Probabilistic Inference for Predicate Constraint Satisfaction

  Yuki Satake, Hiroshi Unno, Hinata Yanagi

  1644-1651

  2020-04-03

• Hard Examples for Common Variable Decision Heuristics

  Marc Vinyals

  1652-1659

  2020-04-03

• Multiple Graph Matching and Clustering via Decayed Pairwise Matching Composition

  Tianzhe Wang, Zetian Jiang, Junchi Yan

  1660-1667

  2020-04-03

• Constructing Minimal Perfect Hash Functions Using SAT Technology

  Sean Weaver, Marijn Heule

  1668-1675

  2020-04-03

• Explaining Propagators for String Edit Distance Constraints

  Felix Winter, Nysret Musliu, Peter Stuckey

  1676-1683

  2020-04-03

• Deep Neural Network Approximated Dynamic Programming for Combinatorial Optimization

  Shenghe Xu, Shivendra S. Panwar, Murali Kodialam, T.V. Lakshman

  1684-1691

  2020-04-03

• Generating Interactive Worlds with Text

  Angela Fan, Jack Urbanek, Pratik Ringshia, Emily Dinan, Emma Qian, Siddharth Karamcheti, Shrimai Prabhumoye, Douwe Kiela, Tim Rocktaschel, Arthur Szlam, Jason Weston

  1693-1700

  2020-04-03

• Deep Reinforcement Learning for General Game Playing

  Adrian Goldwaser, Michael Thielscher

  1701-1708

  2020-04-03

• Narrative Planning Model Acquisition from Text Summaries and Descriptions

  Thomas Hayton, Julie Porteous, Joao Ferreira, Alan Lindsay

  1709-1716

  2020-04-03

• FET-GAN: Font and Effect Transfer via K-shot Adaptive Instance Normalization

  Wei Li, Yongxing He, Yanwei Qi, Zejian Li, Yongchuan Tang

  1717-1724

  2020-04-03

• A Character-Centric Neural Model for Automated Story Generation

  Danyang Liu, Juntao Li, Meng-Hsuan Yu, Ziming Huang, Gongshen Liu, Dongyan Zhao, Rui Yan

  1725-1732

  2020-04-03

• Fast and Robust Face-to-Parameter Translation for Game Character Auto-Creation

  Tianyang Shi, Zhengxia Zuo, Yi Yuan, Changjie Fan, Tianyang Shi, Zhengxia Zuo, Yi Yuan, Changjie Fan

  1733-1740

  2020-04-03

• Draft and Edit: Automatic Storytelling Through Multi-Pass Hierarchical Conditional Variational Autoencoder

  Meng-Hsuan Yu, Juntao Li, Danyang Liu, Dongyan Zhao, Rui Yan, Bo Tang, Haisong Zhang

  1741-1748

  2020-04-03

• Distance-Based Equilibria in Normal-Form Games

  Erman Acar, Reshef Meir

  1750-1757

  2020-04-03

• Swap Stability in Schelling Games on Graphs

  Aishwarya Agarwal, Edith Elkind, Jiarui Gan, Alexandros Voudouris

  1758-1765

  2020-04-03

• The Impact of Selfishness in Hypergraph Hedonic Games

  Alessandro Aloisio, Michele Flammini, Cosimo Vinci

  1766-1773

  2020-04-03

• Multiagent Evaluation Mechanisms

  Tal Alon, Magdalen Dobson, Ariel Procaccia, Inbal Talgam-Cohen, Jamie Tucker-Foltz

  1774-1781

  2020-04-03

• Peeking Behind the Ordinal Curtain: Improving Distortion via Cardinal Queries

  Georgios Amanatidis, Georgios Birmpas, Aris Filos-Ratsikas, Alexandros Voudouris

  1782-1789

  2020-04-03

• Multiple Birds with One Stone: Beating 1/2 for EFX and GMMS via Envy Cycle Elimination

  Georgios Amanatidis, Evangelos Markakis, Apostolos Ntokos

  1790-1797

  2020-04-03

• All-Pay Bidding Games on Graphs

  Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec

  1798-1805

  2020-04-03

• Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives

  Haris Aziz, Hau Chan, Barton Lee, Bo Li, Toby Walsh

  1806-1813

  2020-04-03

• Fair Division of Mixed Divisible and Indivisible Goods

  Xiaohui Bei, Zihao Li, Jinyan Liu, Shengxin Liu, Xinhang Lu

  1814-1821

  2020-04-03