Artificial Intelligence and the Web
Correlated Cascades: Compete or Cooperate | |
Ali Zarezade, Ali Khodadadi, Mehrdad Farajtabar, Hamid R. Rabiee, Hongyuan Zha |
Cognitive Modeling and Cognitive Systems
Associative Memory Using Dictionary Learning and Expander Decoding | |
Arya Mazumdar, Ankit Singh Rawat |
Game Theory and Economic Paradigms
Algorithms for Max-Min Share Fair Allocation of Indivisible Chores | |
Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh |
Revenue Maximization for Finitely Repeated Ad Auctions | |
Jiang Rong, Tao Qin, Bo An, Tie-Yan Liu |
Axiomatic Characterization of Game-Theoretic Network Centralities | |
Oskar Skibski, Tomasz P. Michalak, Talal Rahwan |
Heuristic Search and Optimization
Going Beyond Primal Treewidth for (M)ILP | |
Robert Ganian, Sebastian Ordyniak, M. S. Ramanujan |
Automated Data Extraction Using Predictive Program Synthesis | |
Mohammad Raza, Sumit Gulwani |
Grid Pathfinding on the 2k Neighborhoods | |
Nicolas Rivera, Carlos Hernández, Jorge A. Baier |
Humans and Artificial Intelligence
Psychologically Based Virtual-Suspect for Interrogative Interview Training | |
Moshe Bitan, Galit Nahari, Zvi Nisin, Ariel Roth, Sarit Kraus |
PIVE: Per-Iteration Visualization Environment for Real-Time Interactions with Dimension Reduction and Clustering | |
Hannah Kim, Jaegul Choo, Changhyun Lee, Hanseung Lee, Chandan K. Reddy, Haesun Park |
Knowledge Representation and Reasoning
On the Computation of Paracoherent Answer Sets | |
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic | |
Sebastian Brandt, Elem Güzel Kalaycı, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining | |
Christoph Redl |
On Equivalence and Inconsistency of Answer Set Programs with External Sources | |
Christoph Redl |
Machine Learning Applications
ICU Mortality Prediction: A Classification Algorithm for Imbalanced Datasets | |
Sakyajit Bhattacharya, Vaibhav Rajan, Harsh Shrivastava |
A Framework for Minimal Clustering Modification via Constraint Programming | |
Chia-Tung Kuo, S. S. Ravi, Thi-Bich-Hanh Dao, Christel Vrain, Ian Davidson |
Knowing What to Ask: A Bayesian Active Learning Approach to the Surveying Problem | |
Yoad Lewenberg, Yoram Bachrach, Ulrich Paquet, Jeffrey S. Rosenschein |
A Sparse Dictionary Learning Framework to Discover Discriminative Source Activations in EEG Brain Mapping | |
Feng Liu, Shouyi Wang, Jay Rosenberger, Jianzhong Su, Hanli Liu |
Data-Driven Approximations to NP-Hard Problems | |
Anton Milan, S. Hamid Rezatofighi, Ravi Garg, Anthony Dick, Ian Reid |
Enabling Dark Energy Science with Deep Generative Models of Galaxy Images | |
Siamak Ravanbakhsh, Francois Lanusse, Rachel Mandelbaum, Jeff Schneider, Barnabas Poczos |
Unsupervised Deep Learning for Optical Flow Estimation | |
Zhe Ren, Junchi Yan, Bingbing Ni, Bin Liu, Xiaokang Yang, Hongyuan Zha |
Machine Learning Methods
Scalable Optimization of Multivariate Performance Measures in Multi-instance Multi-label Learning | |
Apoorv Aggarwal, Sandip Ghoshal, Ankith M. S. Shetty, Suhit Sinha, Ganesh Ramakrishnan, Purushottam Kar, Prateek Jain |
The Bernstein Mechanism: Function Release under Differential Privacy | |
Francesco Aldà, Benjamin I. P. Rubinstein |
Heavy-Tailed Analogues of the Covariance Matrix for ICA | |
Joseph Anderson, Navin Goyal, Anupama Nandi, Luis Rademacher |
Learning Residual Alternating Automata | |
Sebastian Berndt, Maciej Liśkiewicz, Matthias Lutter, Rüdiger Reischuk |
PAC Identification of a Bandit Arm Relative to a Reward Quantile | |
Arghya Roy Chaudhuri, Shivaram Kalyanakrishnan |
Estimating the Maximum Expected Value in Continuous Reinforcement Learning Problems | |
Carlo D'Eramo, Alessandro Nuara, Matteo Pirotta, Marcello Restelli |
From Shared Subspaces to Shared Landmarks: A Robust Multi-Source Classification Approach | |
Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey, Kotagiri Ramamohanarao |
A Nearly-Black-Box Online Algorithm for Joint Parameter and State Estimation in Temporal Models | |
Yusuf Bugra Erol, Yi Wu, Lei Li, Stuart Russell |
On Learning High Dimensional Structured Single Index Models | |
Ravi Ganti, Nikhil Rao, Laura Balzano, Rebecca Willett, Robert Nowak |
Learning Unitary Operators with Help From u(n) | |
Stephanie L. Hyland, Gunnar Rätsch |
Recovering True Classifier Performance in Positive-Unlabeled Learning | |
Shantanu Jain, Martha White, Predrag Radivojac |
Dynamic Action Repetition for Deep Reinforcement Learning | |
Aravind S. Lakshminarayanan, Sahil Sharma, Balaraman Ravindran |
Inductive Pairwise Ranking: Going Beyond the n log(n) Barrier | |
U.N. Niranjan, Arun Rajkumar |
Unimodal Thompson Sampling for Graph-Structured Arms | |
Stefano Paladino, Francesco Trovò, Marcello Restelli, Nicola Gatti |
A General Clustering Agreement Index: For Comparing Disjoint and Overlapping Clusters | |
Reihaneh Rabbany, Osmar R. Zaïane |
Non-Negative Inductive Matrix Completion for Discrete Dyadic Data | |
Piyush Rai |
Online Active Linear Regression via Thresholding | |
Carlos Riquelme, Ramesh Johari, Baosen Zhang |
Unbiased Multivariate Correlation Analysis | |
Yisen Wang, Simone Romano, Vinh Nguyen, James Bailey, Xingjun Ma, Shu-Tao Xia |
Multiagent Systems
Solving Seven Open Problems of Offline and Online Control in Borda Elections | |
Marc Neveling, Jörg Rothe |
Nurturing Group-Beneficial Information-Gathering Behaviors Through Above-Threshold Criteria Setting | |
Igor Rochlin, David Sarne, Maytal Bremer, Ben Grynhaus |
Natural Language Processing and Knowledge Representation
Unit Dependency Graph and Its Application to Arithmetic Word Problem Solving | |
Subhro Roy, Dan Roth |
Natural Language Processing and Text Mining
Salience Estimation via Variational Auto-Encoders for Multi-Document Summarization | |
Piji Li, Zihao Wang, Wai Lam, Zhaochun Ren, Lidong Bing |
Collaborative User Clustering for Short Text Streams | |
Shangsong Liang, Zhaochun Ren, Emine Yilmaz, Evangelos Kanoulas |
Word Embedding Based Correlation Model for Question/Answer Matching | |
Yikang Shen, Wenge Rong, Nan Jiang, Baolin Peng, Jie Tang, Zhang Xiong |
Planning and Scheduling
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic | |
Alessandro Cimatti, Andrea Micheli, Marco Roveri |
An Analysis of Monte Carlo Tree Search | |
Steven James, George Konidaris, Benjamin Rosman |
Schematic Invariants by Reduction to Ground Invariants | |
Jussi Rintanen |
Reasoning under Uncertainty
Optimizing Expectation with Guarantees in POMDPs | |
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Đorđe Žikelić |
Misspecified Linear Bandits | |
Avishek Ghosh, Sayak Ray Chowdhury, Aditya Gopalan |
Multi-Objective Influence Diagrams with Possibly Optimal Policies | |
Radu Marinescu, Abdul Razak, Nic Wilson |
Hindsight Optimization for Hybrid State and Action MDPs | |
Aswin Raghavan, Scott Sanner, Roni Khardon, Prasad Tadepalli, Alan Fern |
I See What You See: Inferring Sensor and Policy Models of Human Real-World Motor Behavior | |
Felix Schmitt, Hans-Joachim Bieg, Michael Herman, Constantin A. Rothkopf |
Robotics
Unsupervised Feature Learning for 3D Scene Reconstruction with Occupancy Maps | |
Vitor Campanholo Guizilini, Fabio Tozeto Ramos |
Search and Constraint Satisfaction
Maximum Model Counting | |
Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia |
Phase Transitions for Scale-Free SAT Formulas | |
Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew M. Sutton |
Between Subgraph Isomorphism and Maximum Common Subgraph | |
Ruth Hoffmann, Ciaran McCreesh, Craig Reilly |
Soft and Cost MDD Propagators | |
Guillaume Perez, Jean-Charles Régin |
Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable | |
M. S. Ramanujan, Stefan Szeider |
Vision
Online Multi-Target Tracking Using Recurrent Neural Networks | |
Anton Milan, S. Hamid Rezatofighi, Anthony Dick, Ian Reid, Konrad Schindler |
Title Learning Latent Subevents in Activity Videos Using Temporal Attention Filters | |
A. J. Piergiovanni, Chenyou Fan, Michael S. Ryoo |
Privacy-Preserving Human Activity Recognition from Extreme Low Resolution | |
Michael S. Ryoo, Brandon Rothrock, Charles Fleming, Hyun Jong Yang |
Special Track on Cognitive Systems
Towards Continuous Scientific Data Analysis and Hypothesis Evolution | |
Yolanda Gil, Daniel Garijo, Varun Ratnakar, Rajiv Mayani, Ravali Adusumilli, Hunter Boyce, Arunima Srivastava, Parag Mallick |
Special Track on Computational Sustainability
Regularization in Hierarchical Time Series Forecasting with Application to Electricity Smart Meter Data | |
Souhaib Ben Taieb, Jiafan Yu, Mateus Neves Barreto, Ram Rajagopal |
Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information | |
Yexiang Xue, Xiaojian Wu, Dana Morin, Bistra Dilkina, Angela Fuller, J. Andrew Royle, Carla P. Gomes |
Special Track on Integrated Systems
Learning to Predict Intent from Gaze During Robotic Hand-Eye Coordination | |
Yosef Razin, Karen Feigh |
Vision-Language Fusion for Object Recognition | |
Sz-Rung Shiang, Stephanie Rosenthal, Anatole Gershman, Jaime Carbonell, Jean Oh |
State Projection via AI Planning | |
Shirin Sohrabi, Anton V. Riabov, Octavian Udrea |
EAAI Symposium Full Papers
Dude, Where's My Robot?: A Localization Challenge for Undergraduate Robotics | |
Paul Ruvolo |
EAAI Symposium Poster Papers
Online SPARC for Drawing and Animation | |
Elias Marcopoulos, Maede Rayatidamavandi, Crisel Suarez, Yuanlin Zhang |
EAAI Model AI Assignments
Model AI Assignments 2017 | |
Todd W. Neller, Joshua Eckroth, Sravana Reddy, Joshua Ziegler, Jason Bindewald, Gilbert Peterson, Thomas Way, Paula Matuszek, Lillian Cassel, Mary-Angela Papalaskari, Carol Weiss, Ariel Anders, Sertac Karaman |
Senior Member Blue Sky
Strategic Social Network Analysis | |
Tomasz P. Michalak, Talal Rahwan, Michael Wooldridge |
Senior Member Summary Talks
Incidental Supervision: Moving beyond Supervised Learning | |
Dan Roth |
Student Abstracts
Cross-Domain Sentiment Classification via Topic-Related TrAdaBoost | |
Xingchang Huang, Yanghui Rao, Haoran Xie, Tak-Lam Wong, Fu Lee Wang |
Wikitop: Using Wikipedia Category Network to Generate Topic Trees | |
Saravana Kumar, Prasath Rengarajan, Arockia Xavier Annie |
Semantic Interpretation of Social Network Communities | |
Tushar Maheshwari, Aishwarya N. Reganti, Upendra Kumar, Tanmoy Chakraborty, Amitava Das |
A Finite Memory Automaton for Two-Armed Bernoulli Bandit Problems | |
Ariel Rao |
Predicting User Roles from Computer Logs Using Recurrent Neural Networks | |
Aaron Tuor, Samuel Kaplan, Brian Hutchinson, Nicole Nichols, Sean Robinson |
User Modeling Using LSTM Networks | |
Konrad Żołna, Bartłomiej Romański |
Doctoral Consortium
Transfer of Knowledge through Collective Learning | |
Mohammad Rostami |
What's Hot
What's Hot in Constraint Programming | |
Laurent D. Michel, Michel Rueher |
Demonstrations
Integrating Verbal and Nonvebval Input into a Dynamic Response Spoken Dialogue System | |
Ting-Yao Hu, Chirag Raman, Salvador Medina Maza, Liangke Gui, Tadas Baltrusaitis, Robert Frederking, Louis-Philippe Morency, Alan W. Black, Maxine Eskenazi |
Natural Language Dialogue for Building and Learning Models and Structures | |
Ian Perera, James F. Allen, Lucian Galescu, Choh Man Teng, Mark Burstein, Scott Friedman, David McDonald, Jeffrey Rye |