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
SPARQL Query Containment Under SHI Axioms PDF
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks PDF
Chen Cheng, Haiqin Yang, Irwin King, Michael R. Lyu
Music-Inspired Texture Representation PDF
Ben Horsburgh, Susan Craw, Stewart Massie
Adaptive Polling for Information Aggregation PDF
Thomas Pfeiffer, Xi Alice Gao, Yiling Chen, Andrew Mao, David G. Rand
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
Towards Automated Choreographing of Web Services Using Planning PDF
Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang

Cognitive Systems

Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework PDF
Erik Cambria, Daniel Olsher, Kenneth Kwok

Computational Sustainability and Artificial Intelligence

MOMDPs: A Solution for Modelling Adaptive Management Problems PDF
Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Regis Sabbadin, Olivier Buffet
Fine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble PDF
Prithwish Chakraborty, Manish Marwah, Martin Arlitt, Naren Ramakrishnan
A Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring PDF
James H. Faghmous, Yashu Chamber, Shyam Boriah, Frode Vikebø, Stefan Liess, Michel dos Santos Mesquita, Vipin Kumar
Cooperative Virtual Power Plant Formation Using Scoring Rules PDF
Valentin Robu, Ramachandra Kota, Georgios Chalkiadakis, Alex Rogers, Nicholas R. Jennings

Constraints, Satisfiability, and Search

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
Solving Temporal Problems Using SMT: Weak Controllability PDF
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Last-Mile Restoration for Multiple Interdependent Infrastructures PDF
Carleton Coffrin, Pascal Van Hentenryck, Russell Bent
A Dichotomy for 2-Constraint Forbidden CSP Patterns PDF
Martin C. Cooper, Guillaume Escamocher

Knowledge-Based Information Systems

Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process PDF
Wei Chen, Wei Lu, Ning Zhang
Document Summarization Based on Data Reconstruction PDF
Zhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang, Deng Cai, Xiaofei He
Random Projection with Filtering for Nearly Duplicate Search PDF
Yue Lin, Rong Jin, Deng Cai, Xiaofei He

Knowledge Representation and Reasoning

Symbolic Synthesis of Observability Requirements for Diagnosability PDF
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning PDF
Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu
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
Basing Decisions on Sentences in Decision Diagrams PDF
Yexiang Xue, Arthur Choi, Adnan Darwiche

Machine Learning

Towards Population Scale Activity Recognition: A Framework for Handling Data Diversity PDF
Saeed Abdullah, Nicholas D. Lane, Tanzeem Choudhury
Probabilistic Models for Common Spatial Patterns: Parameter-Expanded EM and Variational Bayes PDF
Hyohyeong Kang, Seungjin Choi
Ensemble Feature Weighting Based on Local Learning and Diversity PDF
Yun Li, Suyan Gao, Songcan Chen
Knapsack Based Optimal Policies for Budget–Limited Multi–Armed Bandits PDF
Long Tran-Thanh, Archie Chapman, Alex Rogers, Nicholas R Jennings
Manifold Warping: Manifold Alignment over Time PDF
Hoa Trong Vu, Clifton Carey, Sridhar Mahadevan
A Bregman Divergence Optimization Framework for Ranking on Data Manifold and Its New Extensions PDF
Bin Xu, Jiajun Bu, Chun Chen, Deng Cai
Pairwise Exemplar Clustering PDF
Yingzhen Yang, Xinqi Chu, Feng Liang, Thomas S. Huang
Efficient Online Learning for Large-Scale Sparse Kernel Logistic Regression PDF
Lijun Zhang, Rong Jin, Chun Chen, Jiajun Bu, Xiaofei He

Multiagent Systems

Optimal Proportional Cake Cutting with Connected Pieces PDF
Xiaohui Bei, Ning Chen, Xia Hua, Biaoshuai Tao, Endong Yang
A Multivariate Complexity Analysis of Lobbying in Multiple Referenda PDF
Robert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondřej Suchý, Stefan Kratsch
Fairness and Welfare Through Redistribution When Utility Is Transferable PDF
Ruggiero Cavallo
Approximately Revenue-Maximizing Auctions for Deliberative Agents PDF
L. Elisa Celis, Anna R. Karlin, Kevin Leyton-Brown, C. Thach Nguyen, David R. M. Thompson
Computing the Nucleolus of Matching, Cover and Clique Games PDF
Ning Chen, Pinyan Lu, Hongyang Zhang
Symmetric Subgame Perfect Equilibria in Resource Allocation PDF
Ludek Cigler, Boi Faltings
Computing Optimal Strategies to Commit to in Stochastic Games PDF
Joshua Letchford, Liam MacDermed, Vincent Conitzer, Ronald Parr, Charles L. Isbell
Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League PDF
Patrick Lucey, Alina Bialkowski, Peter Carr, Eric Foote, Iain Matthews
Competing with Humans at Fantasy Football: Team Formation in Large Partially-Observable Domains PDF
Tim Matthews, Sarvapali D. Ramchurn, Georgios Chalkiadakis
A Scalable Message-Passing Algorithm for Supply Chain Formation PDF
Toni Penya-Alba, Meritxell Vinyals, Jesus Cerquides, Juan A. Rodriguez-Aguilar
Decision Support for Agent Populations in Uncertain and Congested Environments PDF
Pradeep Varakantham, Shih-Fen Cheng, Geoff Gordon, Asrar Ahmed
Evaluating Resistance to False-Name Manipulations in Elections PDF
Bo Waggoner, Lirong Xia, Vincent Conitzer

Multidisciplinary Topics

Algorithmic and Human Teaching of Sequential Decision Tasks PDF
Maya Cakmak, Manuel Lopes
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
Heart Rate Topic Models PDF
Alexander Van Esbroeck, Chih-Chun Chia, Zeeshan Syed

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
Covering Number as a Complexity Measure for POMDP Planning and Learning PDF
Zongzhang Zhang, Michael Littman, Xiaoping Chen

Reasoning Under Uncertainty

Approximating the Sum Operation for Marginal-MAP Inference PDF
Qiang Cheng, Feng Chen, Jianwu Dong, Wenli Xu, Alexander Ihler
A Search Algorithm for Latent Variable Models with Unbounded Domains PDF
Michael Chiang, David Poole


Visual Saliency Estimation through Manifold Learning PDF
Richard M. Jiang, Danny Crookes


SMT-Based Verification of Hybrid Systems PDF
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Computing Game-Theoretic Solutions and Applications to Security PDF
Vincent Conitzer

Student Abstracts

Recommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches PDF
Xing Chen, Lin Li, Guandong Xu, Zhenglu Yang, Masaru Kitsuregawa
A Theoretical Framework of the Graph Shift Algorithm PDF
Xuhui Fan, Longbing Cao
A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty PDF
Hadi Hosseini, Jesse Hoey, Robin Cohen
Mining Context-Aware Significant Travel Sequences from Geotagged Social Media PDF
Abdul Majid, Ling Chen, Hamid Turab Mirza, Ibrar Hussain, Gencai Chen
CCE: A Coupled Framework of Clustering Ensembles PDF
Zhong She, Can Wang, Longbing Cao

Doctoral Consortium

Enriching Chatter Bots With Semantic Conversation Control PDF
Chayan Chakrabarti
Solution Diversity in Planning PDF
Alexandra Coman