IJCAI 2015

646 papers

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, Pengjing Zhang, Wenqiang Zhang

Revisiting Gaussian Process Dynamical Models

Jing Zhao, Shiliang Sun

Discriminative Reordering Model Adaptation via Structural Learning

Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao

Auxiliary Information Regularized Machine for Multiple Modality Feature Learning

Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang

Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model

Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu

Cognitive Modelling for Predicting Examinee Performance

Runze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su

Correcting Covariate Shift with the Frank-Wolfe Algorithm

Junfeng Wen, Russell Greiner, Dale Schuurmans

Regression Model Fitting under Differential Privacy and Model Inversion Attack

Yue Wang, Cheng Si, Xintao Wu

Detecting Emotions in Social Media: A Constrained Optimization Approach

Yichen Wang, Aditya Pal

Medical Synonym Extraction with Concept Space Models

Chang Wang, Liangliang Cao, Bowen Zhou

Information Gathering in Networks via Active Exploration

Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause

Portfolio Choices with Orthogonal Bandit Learning

Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha

Analysis of Sampling Algorithms for Twitter

Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam

Mobility Profiling for User Verification with Anonymized Location Data

Miao Lin, Hong Cao, Vincent Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy

Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction

Wenbin Jiang, Qun Liu, Thepchai Supnithi

Multi-Label Active Learning: Query Type Matters

Sheng-jun Huang, Songcan Chen, Zhi-Hua Zhou

On the Consistency of AUC Pairwise Optimization

Wei Gao, Zhi-Hua Zhou

Greedy Structure Search for Sum-Product Networks

Aaron Dennis, Dan Ventura

Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm

Matteo Denitto, Alessandro Farinelli, Manuele Bicego

Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition

Francis Bisson, Hugo Larochelle, Froduald Kabanza

From Raw Sensor Data to Detailed Spatial Knowledge

Peng Zhang, Jae Hee Lee, Jochen Renz

Automatic Generation of Raven’s Progressive Matrices

Ke Wang, Zhendong Su

Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories

Marius Pasca, Hylke Buisman

The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages

Denis Deratani Mauá, Cassio Polpo de Campos, Fabio Gagliardi Cozman

A Simple Probabilistic Extension of Modal Mu-calculus

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang

A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning

Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho

On the Graded Acceptability of Arguments

Davide Grossi, Sanjay Modgil

Formal Analysis of Dialogues on Infinite Argumentation Frameworks

Francesco Belardinelli, Davide Grossi, Nicolas Maudet

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems

Francesco Belardinelli, Davide Grossi, Alessio Lomuscio

Building Hierarchies of Concepts via Crowdsourcing

Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause

AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand

Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell

Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles

Claudiu Cristian Musat, Boi Faltings

Mining Definitions from RDF Annotations Using Formal Concept Analysis

Mehwish Alam, Aleksey Buzmakov, Victor Codocedo, Amedeo Napoli

Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs

Nic Wilson, Abdul Razak, Radu Marinescu

H-Index Manipulation by Merging Articles: Models, Theory, and Experiments

René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh

Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go

Erik S. Steinmetz, Maria Gini

Compositional Program Synthesis from Natural Language and Examples

Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling

Efficient Search with an Ensemble of Heuristics

Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev

FlashNormalize: Programming by Examples for Text Normalization

Dileep Kini, Sumit Gulwani

Interplanetary Trajectory Planning with Monte Carlo Tree Search

Daniel Hennes, Dario Izzo

A Fast Goal Recognition Technique Based on Interaction Estimates

Yolanda E-Martín, Maria D. R-Moreno, David E. Smith

Generalized Rapid Action Value Estimation

Tristan Cazenave

Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs

Shaowei Cai

ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding

Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin

Model-Based Genetic Algorithms for Algorithm Configuration

Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney

A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality

Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam

Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity

Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings

Differential Semantics of Intervention in Bayesian Networks

Biao Qin

Indirect Causes in Dynamic Bayesian Networks Revisited

Alexander Motzek, Ralf Möller

Pushing Forward Marginal MAP with Best-First Search

Radu Marinescu, Rina Dechter, Alexander Ihler

From Weighted to Unweighted Model Counting

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs

Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang

Security Games with Information Leakage: Modeling and Computation

Haifeng Xu, Albert Xing Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi

Spiteful Bidding in the Dollar Auction

Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan

Implementing the Wisdom of Waze

Shoshana Vasserman, Michal Feldman, Avinatan Hassidim

Envy-Free Sponsored Search Auctions with Budgets

Bo Tang, Jinshan Zhang

Solving Heads-Up Limit Texas Hold'em

Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling

The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection

Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan

A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games

Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo

Convergence to Equilibria in Strategic Candidacy

Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings

Simple Causes of Complexity in Hedonic Games

Dominik Peters, Edith Elkind

Strategic Candidacy Games with Lazy Candidates

Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich

When Does Schwartz Conjecture Hold?

Matthias Mnich, Yash Raj Shrestha, Yongjie Yang

Equilibrium Analysis of Multi-Defender Security Games

Jian Lou, Yevgeniy Vorobeychik

Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much!

Minming Li, Jialin Zhang, Qiang Zhang

Impartial Peer Review

David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia

Limited Lookahead in Imperfect-Information Games

Christian Kroer, Tuomas Sandholm

A Characterization of n-Player Strongly Monotone Scheduling Mechanisms

Annamaria Kovacs, Angelina Vidali

Fixing Tournaments for Kings, Chokers, and More

Michael P. Kim, Virginia Vassilevska Williams

Smooth UCT Search in Computer Poker

Johannes Heinrich, David Silver

Structural Tractability of Shapley and Banzhaf Values in Allocation Games

Gianluigi Greco, Francesco Lupia, Francesco Scarcello

Equilibrium Refinement through Negotiation in Binary Voting

Umberto Grandi, Davide Grossi, Paolo Turrini

Gibbard–Satterthwaite Games

Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko

Optimal Network Security Hardening Using Attack Graph Games

Karel Durkota, Viliam Lisy, Branislav Bosansky, Christopher Kiekintveld

SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples

Joanna Drummond, Andrew Perrault, Fahiem Bacchus

Influence in Classification via Cooperative Game Theory

Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick

Approximate Nash Equilibria with Near Optimal Social Welfare

Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski

Incentivizing Peer Grading in MOOCS: An Audit Game Approach

Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick

Simultaneous Abstraction and Equilibrium Finding in Games

Noam Brown, Tuomas Sandholm

A Dictatorship Theorem for Cake Cutting

Simina Branzei, Peter Bro Miltersen

Learning Cooperative Games

Maria Florina Balcan, Ariel D. Procaccia, Yair Zick

Possible and Necessary Allocations via Sequential Mechanisms

Haris Aziz, Toby Walsh, Lirong Xia

Welfare Maximization in Fractional Hedonic Games

Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig

The Adjusted Winner Procedure: Characterizations and Equilibria

Haris Aziz, Simina Branzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen

Strategic Network Formation through an Intermediary

Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar

A Bargaining Mechanism for One-Way Games

Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck

Applying Max-Sum to Asymmetric Distributed Constraint Optimization

Roie Zivan, Tomer Parash, Yarden Naveh

Max-Sum Goes Private

Tamir Tassa, Roie Zivan, Tal Grinshpoun

Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation

Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong

Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs

Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham

Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem

Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R Jennings

Packing Curved Objects

Ignacio Antonio Salas Donoso, Gilles Chabert

On Constrained Boolean Pareto Optimization

Chao Qian, Yang Yu, Zhi-Hua Zhou

Personalized Mathematical Word Problem Generation

Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani

Efficient Operations On MDDs for Building Constraint Programming Models

Guillaume Perez, Jean-Charles Régin

On the Empirical Time Complexity of Random 3-SAT at the Phase Transition

Zongxu Mu, Holger H. Hoos

Towards Automatic Dominance Breaking for Constraint Optimization Problems

Christopher Mears, Maria Garcia de la Banda

Decomposition of the Factor Encoding for CSPs

Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap

Multi-Pass High-Level Presolving

Kevin Leo, Guido Tack