Search

Search Results

• Reinforcing an Image Caption Generator Using Off-Line Human Feedback

  Paul Hongsuck Seo, Piyush Sharma, Tomer Levinboim, Bohyung Han, Radu Soricut

  2693-2700

  2020-04-03

• ElGolog: A High-Level Programming Language with Memory of the Execution History

  Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska

  2806-2813

  2020-04-03

• Least General Generalizations in Description Logic: Verification and Existence

  Jean Christoph Jung, Carsten Lutz, Frank Wolter

  2854-2861

  2020-04-03

• Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

  Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

  2862-2869

  2020-04-03

• FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria

  Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

  2877-2885

  2020-04-03

• Path Ranking with Attention to Type Hierarchies

  Weiyu Liu, Angel Daruna, Zsolt Kira, Sonia Chernova

  2893-2900

  2020-04-03

• Learning Query Inseparable εℒℋ Ontologies

  Ana Ozaki, Cosimo Persia, Andrea Mazzullo

  2959-2966

  2020-04-03

• Towards Universal Languages for Tractable Ontology Mediated Query Answering

  Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang

  3049-3056

  2020-04-03

• Deep Spiking Delayed Feedback Reservoirs and Its Application in Spectrum Sensing of MIMO-OFDM Dynamic Spectrum Sharing

  Kian Hamedani, Lingjia Liu, Shiya Liu, Haibo He, Yang Yi

  1292-1299

  2020-04-03

• Biologically Plausible Sequence Learning with Spiking Neural Networks

  Zuozhu Liu, Thiparat Chotibut, Christopher Hillar, Shaowei Lin

  1316-1323

  2020-04-03

• End-to-End Game-Focused Learning of Adversary Behavior in Security Games

  Andrew Perrault, Bryan Wilder, Eric Ewing, Aditya Mate, Bistra Dilkina, Milind Tambe

  1378-1386

  2020-04-03

• ADDMC: Weighted Model Counting with Algebraic Decision Diagrams

  Jeffrey Dudek, Vu Phan, Moshe Vardi

  1468-1476

  2020-04-03

• Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources

  Arthur Godet, Xavier Lorca, Emmanuel Hebrard, Gilles Simonin

  1512-1519

  2020-04-03

• Grammar Filtering for Syntax-Guided Synthesis

  Kairo Morton, William Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito

  1611-1618

  2020-04-03

• Information Elicitation Mechanisms for Statistical Estimation

  Yuqing Kong, Grant Schoenebeck, Biaoshuai Tao, Fang-Yi Yu

  2095-2102

  2020-04-03

• Mechanism Design with Predicted Task Revenue for Bike Sharing Systems

  Hongtao Lv, Chaoli Zhang, Zhenzhe Zheng, Tie Luo, Fan Wu, Guihai Chen

  2144-2151

  2020-04-03

• Practical Frank–Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games

  Kengo Nakamura, Shinsaku Sakaue, Norihito Yasuda

  2200-2209

  2020-04-03

• Discriminating Cognitive Disequilibrium and Flow in Problem Solving: A Semi-Supervised Approach Using Involuntary Dynamic Behavioral Signals

  Mononito Goswami, Lujie Chen, Artur Dubrawski

  420-427

  2020-04-03

• Capturing the Style of Fake News

  Piotr Przybyla

  490-497

  2020-04-03

• Weakly-Supervised Fine-Grained Event Recognition on Social Media Texts for Disaster Management

  Wenlin Yao, Cheng Zhang, Shiva Saravanan, Ruihong Huang, Ali Mostafavi

  532-539

  2020-04-03

• TrueLearn: A Family of Bayesian Algorithms to Match Lifelong Learners to Open Educational Resources

  Sahan Bulathwela, Maria Perez-Ortiz, Emine Yilmaz, John Shawe-Taylor

  565-573

  2020-04-03

• CORE: Automatic Molecule Optimization Using Copy & Refine Strategy

  Tianfan Fu, Cao Xiao, Jimeng Sun

  638-645

  2020-04-03

• GAN-Based Unpaired Chinese Character Image Translation via Skeleton Transformation and Stroke Rendering

  Yiming Gao, Jiangqin Wu

  646-653

  2020-04-03

• Pairwise Learning with Differential Privacy Guarantees

  Mengdi Huai, Di Wang, Chenglin Miao, Jinhui Xu, Aidong Zhang

  694-701

  2020-04-03

• RL-Duet: Online Music Accompaniment Generation Using Deep Reinforcement Learning

  Nan Jiang, Sheng Jin, Zhiyao Duan, Changshui Zhang

  710-718

  2020-04-03