Papers
Flexibility and Decoupling in the Simple Temporal Problem
Michel Wilson, Tomas Klos, Cees Witteveen et al.
Flexible Execution of Partial Order Plans with Temporal Constraints
Christian Muise, J. Christopher Beck, Sheila A. McIlraith
Forecasting Multi-Appliance Usage for Smart Home Energy Management
Ngoc Cuong Truong, James McInerney, Long Tran-Thanh et al.
Forecast Oriented Classification of Spatio-Temporal Extreme Events
Zhengzhang Chen, Yusheng Xie, Yu Cheng et al.
Forgetting for Answer Set Programs Revisited
Yisong Wang, Kewen Wang, Mingyi Zhang
Forward Perimeter Search with Controlled Use of Memory
Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Fully Proportional Representation as Resource Allocation: Approximability Results
Piotr Skowron, Piotr Faliszewski, Arkadii Slinko
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
Michael Bartholomew, Joohyung Lee
Fusion of Word and Letter Based Metrics for Automatic MT Evaluation
Muyun Yang, Junguo Zhu, Sheng Li et al.
Game-Theoretic Question Selection for Tests
Yuqian Li, Vincent Conitzer
Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract
Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto et al.
Generalized Relational Topic Models with Data Augmentation
Ning Chen, Jun Zhu, Fei Xia et al.
Getting the Most Out of Pattern Databases for Classical Planning
Florian Pommerening, Gabriele Röger, Malte Helmert
Granular Description of Qualitative Change
John G. Stell
Graph Classification with Imbalanced Class Distributions and Noise
Shirui Pan, Xingquan Zhu
Guarantees of Augmented Trace Norm Models in Tensor Recovery
Ziqiang Shi, Jiqing Han, Tieran Zheng et al.
Handling Open Knowledge for Service Robots
Xiaoping Chen, Jianmin Ji, Zhiqiang Sui et al.
Harmonious Hashing
Bin Xu, Jiajun Bu, Yue Lin et al.
Hartigan’s K-Means Versus Lloyd’s K-Means — Is It Time for a Change?
Noam Slonim, Ehud Aharoni, Koby Crammer
Hierarchical Bayesian Matrix Factorization with Side Information
Sunho Park, Yong-Deok Kim, Seungjin Choi
Hierarchical Object Discovery and Dense Modelling from Motion Cues in RGB-D Video
Jörg Stückler, Sven Behnke
High-Level Program Execution in Multi-Agent Settings
Liangda Fang
Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition
Mohammad A. Gowayyed, Marwan Torki, Mohamed E. Hussein et al.