Papers
Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets
Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer
Embedding Semantic Relations into Word Representations
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi
Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter
Francesco Barbieri, Francesco Ronzano, Horacio Saggion
Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression
Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama
Offline Sketch Parsing via Shapeness Estimation
Jie Wu, Changhu Wang, Liqing Zhang et al.
Automated Geometry Theorem Proving for Human-Readable Proofs
Ke Wang, Zhendong Su
A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments
Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno et al.
Handling Complex Commands as Service Robot Task Requests
Vittorio Perera, Manuela Veloso
Combining Eye Movements and EEG to Enhance Emotion Recognition
Yifei Lu, Wei-Long Zheng, Binbin Li et al.
A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly
Guoping Huang, Jiajun Zhang, Yu Zhou et al.
The Right to Obscure: A Mechanism and Initial Evaluation
Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham
Algorithmic Exam Generation
Omer Geiger, Shaul Markovitch
What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules
Piotr Krzysztof Skowron
Spectrum-Based Fault Localisation for Multi-Agent Systems
Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti
Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe
Estimating the Margin of Victory of an Election Using Sampling
Palash Dey, Y. Narahari
Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties
Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau et al.
Equilibria Under the Probabilistic Serial Rule
Haris Aziz, Serge Gaspers, Simon Mackenzie et al.
A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange
Muddasser Alam, Enrico H. Gerding, Alex Rogers et al.
Pushdown Multi-Agent System Verification
Aniello Murano, Giuseppe Perelli
Verifying Emergent Properties of Swarms
Panagiotis Kouvaros, Alessio Lomuscio
The Complexity of Model Checking Succinct Multiagent Systems
Xiaowei Huang, Qingliang Chen, Kaile Su
Symbolic Model Checking for One-Resource RB+-ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen et al.
Active Learning from Crowds with Unsure Option
Jinhong Zhong, Ke Tang, Zhi-Hua Zhou
Character-Based Parsing with Convolutional Neural Network
Xiaoqing Zheng, Haoyuan Peng, Yi Chen et al.