Papers
Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended Abstract)
Raffaella Bernardi, Ruket Cakici, Desmond Elliott et al.
Robust Multilingual Named Entity Recognition with Shallow Semi-supervised Features (Extended Abstract)
Rodrigo Agerri, German Rigau
Maximizing Awareness about HIV in Social Networks of Homeless Youth with Limited Information
Amulya Yadav, Hau Chan, Albert Xin Jiang et al.
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space
Felipe Trevizan, Sylvie Thiebaux, Pedro Santana et al.
Value Iteration Networks
Aviv Tamar, Yi Wu, Garrett Thomas et al.
Local Topic Discovery via Boosted Ensemble of Nonnegative Matrix Factorization
Sangho Suh, Jaegul Choo, Joonseok Lee et al.
Evaluating Market User Interfaces for Electric Vehicle Charging using Bid2Charge
Sebastian Stein, Enrico H. Gerding, Adrian Nedea et al.
Adapting Deep Network Features to Capture Psychological Representations: An Abridged Report
Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths
Grounding Abstract Spatial Concepts for Language Interaction with Robots
Rohan Paul, Jacob Arkin, Nicholas Roy et al.
nanoCoP: Natural Non-clausal Theorem Proving
Jens Otten
KSP: A Resolution-based Prover for Multimodal K, Abridged Report
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects
Seyed Sina Mirrazavi Salehian, Nadia Figueroa, Aude Billard
The Many Benefits of Annotator Rationales for Relevance Judgments
Tyler McDonnell, Mucahid Kutlu, Tamer Elsayed et al.
Competence Guided Model for Casebase Maintenance
Ditty Mathew, Sutanu Chakraborti
Self-Adjusting Memory: How to Deal with Diverse Drift Types
Viktor Losing, Barbara Hammer, Heiko Wersing
A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
On Thompson Sampling and Asymptotic Optimality
Jan Leike, Tor Lattimore, Laurent Orseau et al.
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
Benjamin Kiesl, Martina Seidl, Hans Tompits et al.
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community
Gangyuan Jing, Tarik Tosun, Mark Yim et al.
Learning and Applying Case Adaptation Rules for Classification: An Ensemble Approach
Vahid Jalali, David Leake, Najmeh Forouzandehmehr
Summary: Multi-Agent Path Finding with Kinematic Constraints
Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen et al.
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method
Marijn J.H. Heule, Oliver Kullmann, Victor W. Marek
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)
Amelia Harrison, Yuliya Lierler
Model Accuracy and Runtime Tradeoff in Distributed Deep Learning: A Systematic Study
Suyog Gupta, Wei Zhang, Fei Wang
Multi-Type Activity Recognition from a Robot's Viewpoint
Ilaria Gori, J. K. Aggarwal, Larry Matthies et al.