Papers
A Dictatorship Theorem for Cake Cutting
Simina Brânzei, Peter Bro Miltersen
A Direct Boosting Approach for Semi-supervised Classification
Shaodan Zhai, Tian Xia, Zhongliang Li et al.
Advances in Nonparametric Hypothesis Testing
Aaditya Ramdas
Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games
Santiago Ontanon, Michael Buro
Aesthetic Visual Quality Evaluation of Chinese Handwritings
Rongju Sun, Zhouhui Lian, Yingmin Tang et al.
A Fast Goal Recognition Technique Based on Interaction Estimates
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith
A Geometric Theory of Feature Selection and Distance-Based Measures
Kilho Shin, Adrian Pino Angulo
Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota et al.
Agile Planning for Real-World Disaster Response
Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang et al.
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks
Ringo Baumann, Gerhard Brewka
AGM Revision of Beliefs about Action and Time
Marc van Zee, Dragan Doder, Mehdi Dastani et al.
A Graph Kernel Based on the Jensen-Shannon Representation Alignment
Lu Bai, Zhihong Zhang, Chaoyan Wang et al.
A Hybrid Neural Model for Type Classification of Entity Mentions
Li Dong, Furu Wei, Hong Sun et al.
A Joint Optimization Framework of Sparse Coding and Discriminative Clustering
Zhangyang Wang, Yingzhen Yang, Shiyu Chang et al.
Algorithmic Exam Generation
Omer Geiger, Shaul Markovitch
Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract)
Frank Hutter, Lin Xu, Holger Hoos et al.
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains
Vaishak Belle, Hector Levesque
A Logic for Reasoning about Justified Uncertain Beliefs
Tuan-Fang Fan, Churn-Jung Liau
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
Mario Alviano, Carmine Dodaro, Francesco Ricca
A Modification of the Halpern-Pearl Definition of Causality
Joseph Halpern
A Modularity-Based Random SAT Instances Generator
Jesús Giráldez-Cru, Jordi Levy
A Multicore Tool for Constraint Solving
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Active Learning Approach to Coreference Resolution
Mrinmaya Sachan, Eduard Hovy, Eric P. Xing
An Adaptive Computational Model for Personalized Persuasion
Yilin Kang, Ah-Hwee Tan, Chunyan Miao