Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

Artificial Intelligence and the Web

Combining Hashing and Abstraction in Sparse High Dimensional Feature Spaces PDF
Cornelia Caragea, Adrian Silvescu, Prasenjit Mitra
Querying Linked Ontological Data through Distributed Summarization PDF
Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data PDF
Adam Sadilek, Henry Kautz, Vincent Silenzio
A Data-Driven Approach to Question Subjectivity Identification in Community Question Answering PDF
Tom Chao Zhou, Xiance Si, Edward Y. Chang, Irwin King, Michael R. Lyu

Cognitive Systems

Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements PDF
Evan A. Krause, Paul Schermerhorn, Matthias Scheutz
Using Expectations to Drive Cognitive Behavior PDF
Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert

Computational Sustainability and Artificial Intelligence

The Automated Vacuum Waste Collection Optimization Problem PDF
Ramón Béjar, César Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal
MOMDPs: A Solution for Modelling Adaptive Management Problems PDF
Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Regis Sabbadin, Olivier Buffet
Learning Non-Stationary Space-Time Models for Environmental Monitoring PDF
Sahil Garg, Amarjeet Singh, Fabio Ramos
Sensing the Air We Breathe — The OpenSense Zurich Dataset PDF
Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel
Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks PDF
Neo D. Martinez, Perrine Tonnin, Barbara Bauer, Rosalyn C. Rael, Rahul Singh, Sangyuk Yoon, Ilmi Yoon, Jennifer A. Dunne
Coupling Spatiotemporal Disease Modeling with Diagnosis PDF
Martin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn
Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults PDF
Michael Alan Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas
Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control PDF
Gwen Spencer
Scheduling Conservation Designs via Network Cascade Optimization PDF
Shan Xue, Alan Fern, Daniel Sheldon

Constraints, Satisfiability, and Search

Filtering Decomposable Global Cost Functions PDF
David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex
Configuration Checking with Aspiration in Local Search for SAT PDF
Shaowei Cai, Kaile Su
Two New Local Search Strategies for Minimum Vertex Cover PDF
Shaowei Cai, Kaile Su, Abdul Sattar
Partial-Expansion A* with Selective Node Generation PDF
Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan Sturtevant, Jonathan Schaeffer, Robert Holte
Don't Be Strict in Local Search! PDF
Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider
Non-Model-Based Search Guidance for Set Partitioning Problems PDF
Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann
From Streamlined Combinatorial Search to Efficient Constructive Procedures PDF
Ronan Le Bras, Carla Gomes, Bart Selman
An Efficient Higher-Order Consistency Algorithm for Table Constraints PDF
Anastasia Paparrizou, Kostas Stergiou
Trap Avoidance in Local Search Using Pseudo-Conflict Learning PDF
Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar
Alpha-Beta Pruning for Games with Simultaneous Moves PDF
Abdallah Saffidine, Hilmar Finnsson, Michael Buro
Conflict-Based Search For Optimal Multi-Agent Path Finding PDF
Guni Sharon, Roni Stern, Ariel Felner, Nathan Sturtevant
MCTS Based on Simple Regret PDF
David Tolpin, Solomon Eyal Shimony

Knowledge-Based Information Systems

On Completeness Classes for Query Evaluation on Linked Data PDF
Andreas Harth, Sebastian Speiser
Modeling the Evolution of Knowledge in Learning Systems PDF
Abhishek Sharma, Kenneth D. Forbus

Knowledge Representation and Reasoning

Query Rewriting for Horn-SHIQ Plus Rules PDF
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
On Finding Optimal Polytrees PDF
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall PDF
Xiaowei Huang, Kaile Su, Chenyi Zhang
Benchmarking Ontology-Based Query Rewriting Systems PDF
Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau
Compiling Model-Based Diagnosis to Boolean Satisfaction PDF
Amit Metodi, Roni Stern, Meir Kalech, Mike Codish
Far Out: Predicting Long-Term Human Mobility PDF
Adam Sadilek, John Krumm
FLP Semantics Without Circular Justifications for General Logic Programs PDF
Yi-Dong Shen, Kewen Wang
Exploring the Duality in Conflict-Directed Model-Based Diagnosis PDF
Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory Provan

Machine Learning

Classification of Sparse Time Series via Supervised Matrix Factorization PDF
Josif Grabocka, Alexandros Nanopoulos, Lars Schmidt-Thieme
Learning the Kernel Matrix with Low-Rank Multiplicative Shaping PDF
Tomer Levinboim, Fei Sha
Transfer Learning with Graph Co-Regularization PDF
Mingsheng Long, Jianmin Wang, Guiguang Ding, Dou Shen, Qiang Yang
Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition PDF
Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone
Rule Ensemble Learning Using Hierarchical Kernels in Structured Output Spaces PDF
Naveen Nair, Amrita Saha, Ganesh Ramakrishnan, Shonali Krishnaswamy
Context Tree Maximizing PDF
Phuong Minh Nguyen, Peter Sunehag, Marcus Hutter
Learning Behavior Models for Hybrid Timed Systems PDF
Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, Hans Kleine Büning
A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem PDF
Andrew M. Sutton, Frank Neumann
Investigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction PDF
Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto, Marco Saerens
Approximate Policy Iteration with Linear Action Models PDF
Hengshuai Yao, Csaba Szepesvari

Multiagent Systems

Security Games with Limited Surveillance PDF
Bo An, David Kempe, Christopher Kiekintveld, Eric Shieh, Satinder Singh, Milind Tambe, Yevgeniy Vorobeychik
A Multivariate Complexity Analysis of Lobbying in Multiple Referenda PDF
Robert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondřej Suchý, Stefan Kratsch
Dynamic Matching via Weighted Myopia with Application to Kidney Exchange PDF
John P. Dickerson, Ariel D. Procaccia, Tuomas Sandholm
Generalized Sampling and Variance in Counterfactual Regret Minimization PDF
Richard Gibson, Marc Lanctot, Neil Burch, Duane Szafron, Michael Bowling
Tree-Based Solution Methods for Multiagent POMDPs with Delayed Communication PDF
Frans Adriaan Oliehoek, Matthijs T. J. Spaan
Negotiation in Exploration-Based Environment PDF
Israel Sofer, David Sarne, Avinatan Hassidim
Optimal Auctions for Spiteful Bidders PDF
Pingzhong Tang, Tuomas Sandholm
Computing Stackelberg Equilibria in Discounted Stochastic Games PDF Corrected PDF
Yevgeniy Vorobeychik, Satinder Singh

Multidisciplinary Topics

An Object-Based Bayesian Framework for Top-Down Visual Attention PDF
Ali Borji, Dicky N. Sihite, Laurent Itti
Three Controversial Hypotheses Concerning Computation in the Primate Cortex PDF
Thomas Dean, Greg S. Corrado, Jonathon Shlens
Identifying Adverse Drug Events by Relational Learning PDF
David Page, Vitor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy Peissig, Michael Caldwell
HyperPlay: A Solution to General Game Playing with Imperfect Information PDF
Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher
Unsupervised Detection of Music Boundaries by Time Series Structure Features PDF
Joan Serrà, Meinard Müller, Peter Grosche, Josep Lluis Arcos
Automatically Generating Algebra Problems PDF
Rohit Singh, Sumit Gulwani, Sriram Rajamani
Cruising with a Battery-Powered Vehicle and Not Getting Stranded PDF
Sabine Storandt, Stefan Funke
Heart Rate Topic Models PDF
Alexander Van Esbroeck, Chih-Chun Chia, Zeeshan Syed

Natural-Language Processing

Using First-Order Logic to Compress Sentences PDF
Minlie Huang, Xing Shi, Feng Jin, Xiaoyan Zhu

Reasoning about Plans, Processes, and Actions

The Complexity of Planning Revisited — A Parameterized Analysis PDF
Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider
Improving Hierarchical Planning Performance by the Use of Landmarks PDF
Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
Incremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems PDF
Zachary B. Rubinstein, Stephen F. Smith, Laura Barbulescu
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing PDF
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
Symbolic Dynamic Programming for Continuous State and Action MDPs PDF
Zahra Zamani, Scott Sanner, Cheng Fang

Reasoning Under Uncertainty

A Multi-Path Compilation Approach to Contingent Planning PDF
Ronen Brafman, Guy Shani
I'm Doing as Well as I Can: Modeling People as Rational Finite Automata PDF
Joe Halpern, Rafael Pass, Lior Seeman
Using Sliding Windows to Generate Action Abstractions in Extensive-Form Games PDF
John Alexander Hawkin, Robert Holte, Duane Szafron
Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach PDF
Gildas Jeantet, Patrice Perny, Olivier Spanjaard
Symbolic Variable Elimination for Discrete and Continuous Graphical Models PDF
Scott Sanner, Ehsan Abbasnejad


Efficient Optimization of Control Libraries PDF
Debadeepta Dey, Tian Yu Liu, Boris Sofman, James Andrew Bagnell
Mirror Perspective-Taking with a Humanoid Robot PDF
Justin Wildrick Hart, Brian Scassellati
Catch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles PDF
Kyle Klein, Subhash Suri
Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution PDF
Takuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno
Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information PDF
Gaurav Pandey, James R. McBride, Silvio Savarese, Ryan M. Eustice
Using the Web to Interactively Learn to Find Objects PDF
Mehdi Samadi, Thomas Kollar, Manuela Veloso
Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps PDF
Jörg Stückler, Sven Behnke


PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States PDF
Eric Anyung Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, Garrett Meyer
Planning as an Iterative Process PDF
David E. Smith
Heuristic Search Comes of Age PDF
Nathan R. Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml

Student Abstracts

Failure Handling In a Planning Framework PDF
Sertac Karapinar, Sanem Sariel-Talay
CCE: A Coupled Framework of Clustering Ensembles PDF
Zhong She, Can Wang, Longbing Cao
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video PDF
Young Chol Song, Henry Kautz
Learning Transformation Rules by Examples PDF
Bo Wu, Pedro Szekely, Craig A. Knoblock
Combining Probabilistic Planning and Logic Programming on Mobile Robots PDF
Shiqi Zhang, Forrest Sheng Bao, Mohan Sridharan

Doctoral Consortium

Large-Scale Mapping and Navigation in VirtualWorlds: Thesis Summary PDF
Katrina Samperi