Search

Search Results

• Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

  Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

  2694-2702

  2019-07-17

• Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty

  Daniel de Leng, Fredrik Heintz

  2760-2767

  2019-07-17

• Minimum Intervention Cover of a Causal Graph

  Saravanan Kandasamy, Arnab Bhattacharyya, Vasant G. Honavar

  2876-2885

  2019-07-17

• Ontology-Based Query Answering for Probabilistic Temporal Data

  Patrick Koopmann

  2903-2910

  2019-07-17

• Reasoning over Streaming Data in Metric Temporal Datalog

  Przemysław Andrzej Wałęga, Mark Kaminski, Bernardo Cuenca Grau

  3092-3099

  2019-07-17

• Character-Level Language Modeling with Deeper Self-Attention

  Rami Al-Rfou, Dokook Choe, Noah Constant, Mandy Guo, Llion Jones

  3159-3166

  2019-07-17

• EA-CG: An Approximate Second-Order Method for Training Fully-Connected Neural Networks

  Sheng-Wei Chen, Chun-Nan Chou, Edward Y. Chang

  3337-3346

  2019-07-17

• Counting and Sampling from Markov Equivalent DAGs Using Clique Trees

  AmirEmad Ghassami, Saber Salehkaleybar, Negar Kiyavash, Kun Zhang

  3664-3671

  2019-07-17

• AFS: An Attention-Based Mechanism for Supervised Feature Selection

  Ning Gui, Danni Ge, Ziyin Hu

  3705-3713

  2019-07-17

• Efficient Quantization for Neural Networks with Binary Weights and Low Bitwidth Activations

  Kun Huang, Bingbing Ni, Xiaokang Yang

  3854-3861

  2019-07-17

• Bootstrap Estimated Uncertainty of the Environment Model for Model-Based Reinforcement Learning

  Wenzhen Huang, Junge Zhang, Kaiqi Huang

  3870-3877

  2019-07-17

• TAPAS: Train-Less Accuracy Predictor for Architecture Search

  R. Istrate, F. Scheidegger, G. Mariani, D. Nikolopoulos, C. Bekas, A. C. I. Malossi

  3927-3934

  2019-07-17

• Automatic Code Review by Learning the Revision of Source Code

  Shu-Ting Shi, Ming Li, David Lo, Ferdian Thung, Xuan Huo

  4910-4917

  2019-07-17

• Robustness Can Be Cheap: A Highly Efficient Approach to Discover Outliers under High Outlier Ratios

  Siqi Wang, En Zhu, Xiping Hu, Xinwang Liu, Qiang Liu, Jianping Yin, Fei Wang

  5313-5320

  2019-07-17

• Fair Division with a Secretive Agent

  Eshwar Ram Arunachaleswaran, Siddharth Barman, Nidhi Rathi

  1732-1739

  2019-07-17

• Generalized Distance Bribery

  Dorothea Baumeister, Tobias Hogrebe, Lisa Rey

  1764-1771

  2019-07-17

• How Similar Are Two Elections?

  Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Stanisław Szufa, Nimrod Talmon

  1909-1916

  2019-07-17

• An Equivalence between Wagering and Fair-Division Mechanisms

  Rupert Freeman, David M. Pennock, Jennifer Wortman Vaughan

  1957-1964

  2019-07-17

• Pareto Efficient Auctions with Interest Rates

  Gagan Goel, Vahab Mirrokni, Renato Paes Leme

  1989-1995

  2019-07-17

• Computing the Yolk in Spatial Voting Games without Computing Median Lines

  Joachim Gudmundsson, Sampson Wong

  2012-2019

  2019-07-17

• Object Reachability via Swaps along a Line

  Sen Huang, Mingyu Xiao

  2037-2044

  2019-07-17

• Dynamic Contracting under Positive Commitment

  Ilan Lobel, Renato Paes Leme

  2101-2108

  2019-07-17

• Optimal Dynamic Auctions Are Virtual Welfare Maximizers

  Vahab Mirrokni, Renato Paes Leme, Pingzhong Tang, Song Zuo

  2125-2132

  2019-07-17

• Deception in Finitely Repeated Security Games

  Thanh H. Nguyen, Yongzhao Wang, Arunesh Sinha, Michael P. Wellman

  2133-2140

  2019-07-17

• Variance Reduction in Monte Carlo Counterfactual Regret Minimization (VR-MCCFR) for Extensive Form Games Using Baselines

  Martin Schmid, Neil Burch, Marc Lanctot, Matej Moravcik, Rudolf Kadlec, Michael Bowling

  2157-2164

  2019-07-17