IJCAI 2019

964 papers

Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories

Pavel Surynek

GANAK: A Scalable Probabilistic Exact Model Counter

shubham sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel

Phase Transition Behavior of Cardinality and XOR Constraints

Yash Pote, Saurabh Joshi, Kuldeep S. Meel

Constraint-Based Scheduling with Complex Setup Operations: An Iterative Two-Layer Approach

Adriana Pacheco, Cédric Pralet, Stéphanie Roussel

Optimizing Constraint Solving via Dynamic Programming

Shu Lin, Na Meng, Wenxin Li

Stochastic Constraint Propagation for Mining Probabilistic Networks

Anna Louise D. Latour, Behrouz Babaki, Siegfried Nijssen

Acquiring Integer Programs from Data

Mohit Kumar, Stefano Teso, Luc De Raedt

Entropy-Penalized Semidefinite Programming

Mikhail Krechetov, Jakub Marecek, Yury Maximov, Martin Takac

Enumerating Potential Maximal Cliques via SAT and ASP

Tuukka Korhonen, Jeremias Berg, Matti Järvisalo

Model-Based Diagnosis with Multiple Observations

Alexey Ignatiev, Antonio Morgado, Georg Weissenbacher, Joao Marques-Silva

DoubleLex Revisited and Beyond

Xuming Huang, Jimmy Lee

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring

Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma

Privacy-Preserving Obfuscation of Critical Infrastructure Networks

Ferdinando Fioretto, Terrence W.K. Mak, Pascal Van Hentenryck

Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions

Emir Demirović, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie

How to Tame Your Anticipatory Algorithm

Allegra De Filippo, Michele Lombardi, Michela Milano

Constraint Programming for Mining Borders of Frequent Itemsets

Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

Face Photo-Sketch Synthesis via Knowledge Transfer

Mingrui Zhu, Nannan Wang, Xinbo Gao, Jie Li, Zhifeng Li

LRDNN: Local-refining based Deep Neural Network for Person Re-Identification with Attribute Discerning

Qinqin Zhou, Bineng Zhong, Xiangyuan Lan, Gan Sun, Yulun Zhang

Binarized Neural Networks for Resource-Efficient Hashing with Minimizing Quantization Loss

Feng Zheng, Cheng Deng, Heng Huang

Generative Visual Dialogue System via Weighted Likelihood Estimation

Heming Zhang, Shalini Ghosh, Larry Heck, Stephen Walsh, Junting Zhang

Pose-preserving Cross Spectral Face Hallucination

Junchi Yu, Jie Cao, Yi Li, Xiaofei Jia, Ran He

Capturing Spatial and Temporal Patterns for Facial Landmark Tracking through Adversarial Learning

Shi Yin, Shangfei Wang, Guozhu Peng, Xiaoping Chen, Bowen Pan

High Performance Gesture Recognition via Effective and Efficient Temporal Modeling

Yang Yi, Feng Ni, Yuexin Ma, Xinge ZHU, Yuankai Qi

Dynamically Visual Disambiguation of Keyword-based Image Search

Yazhou Yao, Zeren Sun, Fumin Shen, Li Liu, Limin Wang

MSR: Multi-Scale Shape Regression for Scene Text Detection

Chuhui Xue, Shijian Lu, Wei Zhang

Graph Convolutional Network Hashing for Cross-Modal Retrieval

Ruiqing Xu, CHAO LI, Junchi Yan, Cheng Deng, Xianglong Liu

Densely Supervised Hierarchical Policy-Value Network for Image Paragraph Generation

Siying Wu, Zheng-Jun Zha, Zilei Wang, Houqiang Li, Feng Wu

Mutually Reinforced Spatio-Temporal Convolutional Tube for Human Action Recognition

Haoze Wu, Jiawei Liu, Zheng-Jun Zha, Zhenzhong Chen, Xiaoyan Sun

Video Interactive Captioning with Human Prompts

Aming Wu, Yahong Han, Yi Yang

Transferable Adversarial Attacks for Image and Video Object Detection

Xingxing Wei, Siyuan Liang, Ning Chen, Xiaochun Cao

DSRN: A Deep Scale Relationship Network for Scene Text Detection

Yuxin Wang, Hongtao Xie, Zilong Fu, Yongdong Zhang

Convolutional Auto-encoding of Sentence Topics for Image Paragraph Generation

Jing Wang, Yingwei Pan, Ting Yao, Jinhui Tang, Tao Mei

Color-Sensitive Person Re-Identification

Guan'an Wang, Yang Yang, Jian Cheng, Jinqiao Wang, Zengguang Hou

Hallucinating Optical Flow Features for Video Classification

Yongyi Tang, Lin Ma, Lianqiang Zhou

Talking Face Generation by Conditional Recurrent Adversarial Network

Yang Song, Jingwen Zhu, Dawei Li, Andy Wang, Hairong Qi

Deep Recurrent Quantization for Generating Sequential Binary Codes

Jingkuan Song, Xiaosu Zhu, Lianli Gao, Xin-Shun Xu, Wu Liu

Deep Light-field-driven Saliency Detection from a Single View

Yongri Piao, Zhengkun Rong, Miao Zhang, Xiao Li, Huchuan Lu

DBDNet: Learning Bi-directional Dynamics for Early Action Prediction

Guoliang Pang, Xionghui Wang, Jian-Fang Hu, Qing Zhang, Wei-Shi Zheng

Low Shot Box Correction for Weakly Supervised Object Detection

Tianxiang Pan, Bin Wang, guiguang ding, Jungong Han, Junhai Yong

Resolution-invariant Person Re-Identification

Shunan Mao, Shiliang Zhang, Ming Yang

Unsupervised Learning of Scene Flow Estimation Fusing with Local Rigidity

Liang Liu, Guangyao Zhai, Wenlong Ye, Yong Liu

Densely Connected Attention Flow for Visual Question Answering

Fei Liu, Jing Liu, Zhiwei Fang, Richang Hong, Hanqing Lu

Nuclei Segmentation via a Deep Panoptic Model with Semantic Feature Fusion

Dongnan Liu, Donghao Zhang, Yang Song, Chaoyi Zhang, Fan Zhang

Rectified Binary Convolutional Networks for Enhancing the Performance of 1-bit DCNNs

Chunlei Liu, Wenrui Ding, Xin Xia, Yuan Hu, Baochang Zhang

Attribute-Aware Convolutional Neural Networks for Facial Beauty Prediction

Luojun Lin, Lingyu Liang, LianWen Jin, Weijie Chen

Rethinking Loss Design for Large-scale 3D Shape Retrieval

Zhaoqun Li, Cheng Xu, Biao Leng

Pedestrian Attribute Recognition by Joint Visual-semantic Reasoning and Knowledge Distillation

Qiaozhe Li, Xin Zhao, Ran He, Kaiqi Huang

Variation Generalized Feature Learning via Intra-view Variation Adaptation

Jiawei Li, Mang Ye, Andy Jinhua Ma, Pong C Yuen

Detecting Robust Co-Saliency with Recurrent Co-Attention Neural Network

Bo Li, Zhengxing Sun, Lv Tang, Yunhan Sun, Jinlong Shi

Generative Image Inpainting with Submanifold Alignment

Ang Li, Jianzhong Qi, Rui Zhang, Xingjun Ma, Kotagiri Ramamohanarao

Supervised Set-to-Set Hashing in Visual Recognition

I-hong Jhuo

Learning Unsupervised Visual Grounding Through Semantic Self-Supervision

Syed Ashar Javed, Shreyas Saxena, Vineet Gandhi

Multi-Level Visual-Semantic Alignments with Relation-Wise Dual Attention Network for Image and Text Matching

Zhibin Hu, Yongsheng Luo, Jiong Lin, Yan Yan, Jian Chen

Dynamic Feature Fusion for Semantic Edge Detection

Yuan Hu, Yunpeng Chen, Xiang Li, Jiashi Feng

MAT-Net: Medial Axis Transform Network for 3D Object Recognition

Jianwei Hu, Bin Wang, Lihui Qian, Yiling Pan, Xiaohu Guo

Parts4Feature: Learning 3D Global Features from Generally Semantic Parts in Multiple Views

Zhizhong Han, Xinhai Liu, Yu-Shen Liu, Matthias Zwicker

3DViewGraph: Learning Global Features for 3D Shapes from A Graph of Unordered Views with Attention

Zhizhong Han, Xiyang Wang, Chi Man Vong, Yu-Shen Liu, Matthias Zwicker

Connectionist Temporal Modeling of Video and Language: a Joint Model for Translation and Sign Labeling

Dan Guo, Shengeng Tang, Meng Wang

Dense Temporal Convolution Network for Sign Language Translation

Dan Guo, Shuo Wang, Qi Tian, Meng Wang

Asynchronous Stochastic Frank-Wolfe Algorithms for Non-Convex Optimization

Bin Gu, Wenhan Xian, Heng Huang

ANODE: Unconditionally Accurate Memory-Efficient Gradients for Neural ODEs

Amir Gholaminejad, Kurt Keutzer, George Biros

Beyond Product Quantization: Deep Progressive Quantization for Image Retrieval

Lianli Gao, Xiaosu Zhu, Jingkuan Song, Zhou Zhao, Heng Tao Shen

Learning to Draw Text in Natural Images with Conditional Adversarial Networks

Shancheng Fang, Hongtao Xie, Jianjun Chen, Jianlong Tan, Yongdong Zhang

On Retrospecting Human Dynamics with Attention

Minjing Dong, Chang Xu

A Deep Bi-directional Attention Network for Human Motion Recovery

Qiongjie Cui, Huaijiang Sun, Yupeng Li, Yue Kong

Structure-Aware Residual Pyramid Network for Monocular Depth Estimation

Xiaotian Chen, Xuejin Chen, Zheng-Jun Zha

Generalized Zero-Shot Vehicle Detection in Remote Sensing Imagery via Coarse-to-Fine Framework

Hong Chen, Yongtan Luo, Liujuan Cao, Baochang Zhang, Guodong Guo

Multi-Margin based Decorrelation Learning for Heterogeneous Face Recognition

Bing Cao, Nannan Wang, Xinbo Gao, Jie Li, Zhifeng Li

CoSegNet: Image Co-segmentation using a Conditional Siamese Convolutional Network

Sayan Banerjee, Avik Hati, Subhasis Chaudhuri, Rajbabu Velmurugan

Explore Truthful Incentives for Tasks with Heterogenous Levels of Difficulty in the Sharing Economy

Pengzhan Zhou, Xin Wei, Cong Wang, Yuanyuan Yang

Decentralized Optimization with Edge Sampling

Chi Zhang, Qianxiao Li, Peilin Zhao

The Price of Governance: A Middle Ground Solution to Coordination in Organizational Control

Chao Yu, Guozhen Tan

On the Tree Representations of Dichotomous Preferences

Yongjie Yang

Complexity of Manipulating and Controlling Approval-Based Multiwinner Voting

Yongjie Yang

Large-Scale Home Energy Management Using Entropy-Based Collective Multiagent Deep Reinforcement Learning Framework

Yaodong Yang, Jianye Hao, YAN ZHENG, Chao Yu

Towards Efficient Detection and Optimal Response against Sophisticated Opponents

Tianpei Yang, Jianye Hao, Zhaopeng Meng, Chongjie Zhang, YAN ZHENG

On Strategyproof Conference Peer Review

Yichong Xu, Han Zhao, Xiaofei Shi, Nihar B. Shah

Exploring the Task Cooperation in Multi-goal Visual Navigation

Yuechen Wu, Zhenhuan Rao, Wei Zhang, Shijian Lu, Weizhi Lu

A Regularized Opponent Model with Maximum Entropy Objective

Zheng Tian, Ying Wen, Zhichen Gong, Faiz Punakkath, Shihao Zou

Aggregating Incomplete Pairwise Preferences by Weight

Zoi Terzopoulou, Ulle Endriss

Model-Free Model Reconciliation

Sarath Sreedharan, Alberto Olmo Hernandez, Aditya Prasad Mishra, Subbarao Kambhampati

Preferences Single-Peaked on a Tree: Sampling and Tree Recognition

Jakub Sliwinski, Edith Elkind

Sybil-Resilient Reality-Aware Social Choice

Gal Shahaf, Ehud Shapiro, Nimrod Talmon

Multi-Population Congestion Games With Incomplete Information

Charlotte Roman, Paolo Turrini

Ridesharing with Driver Location Preferences

Duncan Rheingans-Yoo, Scott Duke Kominers, Hongyao Ma, David C. Parkes

Ad Hoc Teamwork With Behavior Switching Agents

Manish Ravula, Shani Alkoby, Peter Stone

Approval-Based Elections and Distortion of Voting Rules

Grzegorz Pierczyński, Piotr Skowron

Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding

Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura

Imitative Attacker Deception in Stackelberg Security Games

Thanh Nguyen, Haifeng Xu

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems

Hoang Nga Nguyen, Abdur Rakib

Learning Swarm Behaviors using Grammatical Evolution and Behavior Trees

Aadesh Neupane, Michael Goodrich

FaRM: Fair Reward Mechanism for Information Aggregation in Spontaneous Localized Settings

Moin Hussain Moti, Dimitris Chatzopoulos, Pan Hui, Sujit Gujar

Reachability Games in Dynamic Epistemic Logic

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber

Graphical One-Sided Markets

Sagar Massand, Sunil Simon

Leadership in Congestion Games: Multiple User Classes and Non-Singleton Actions

Alberto Marchesi, Matteo Castiglioni, Nicola Gatti

Multi-Robot Planning Under Uncertain Travel Times and Safety Constraints

Masoumeh Mansouri, Bruno Lacerda, Nick Hawes, Federico Pecora

Computational Aspects of Equilibria in Discrete Preference Games

Phani Raj Lolakapuri, Umang Bhaskar, Ramasuri Narayanam, Gyana R Parija, Pankaj S Dayama

Computing Approximate Equilibria in Sequential Adversarial Games by Exploitability Descent

Edward Lockhart, Marc Lanctot, Julien Pérolat, Jean-Baptiste Lespiau, Dustin Morrill

Value Function Transfer for Deep Multi-Agent Reinforcement Learning Based on N-Step Returns

Yong Liu, Yujing Hu, Yang Gao, Yingfeng Chen, Changjie Fan