Skip to content
conftrace_

AAAI 2020

1,794 papers

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints

Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Vardi, Zhiwei Zhang

Modelling Diversity of Solutions

Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack

SPAN: A Stochastic Projected Approximate Newton Method

Xunpeng Huang, Xianfeng Liang, Zhengyang Liu, Lei Li, Yue Yu

MIPaaL: Mixed Integer Program as a Layer

Aaron Ferber, Bryan Wilder, Bistra Dilkina, Milind Tambe

A Cardinal Improvement to Pseudo-Boolean Solving

Jan Elffers, Jakob Nordstr”m

Justifying All Differences Using Pseudo-Boolean Reasoning

Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordstr”öm

Modelling and Solving Online Optimisation Problems

Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack

Optimization of Chance-Constrained Submodular Functions

Benjamin Doerr, Carola Doerr, Aneta Neumann, Frank Neumann, Andrew Sutton

Dynamic Programming for Predict+Optimise

Emir Demirovi?, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie

Guiding CDCL SAT Search via Random Exploration amid Conflict Depression

Md Solimul Chowdhury, Martin Müller, Jia You

Chain Length and CSPs Learnable with Few Queries

Christian Bessiere, Cl‚ément Carbonnel, George Katsirelos

Deep Unsupervised Binary Coding Networks for Multivariate Time Series Retrieval

Dixian Zhu, Dongjin Song, Yuncong Chen, Cristian Lumezanu, Wei Cheng

Tensorized LSTM with Adaptive Shared Memory for Learning Trends in Multivariate Time Series

Dongkuan Xu, Wei Cheng, Bo Zong, Dongjin Song, Jingchao Ni

Modeling Electrical Motor Dynamics Using Encoder-Decoder with Recurrent Skip Connection

Sagar Verma, Nicolas Henwood, Marc Castella, Francois Malrait, Jean-Christophe Pesquet

End-to-End Game-Focused Learning of Adversary Behavior in Security Games

Andrew Perrault, Bryan Wilder, Eric Ewing, Aditya Mate, Bistra Dilkina

M3ER: Multiplicative Multimodal Emotion Recognition using Facial, Textual, and Speech Cues

Trisha Mittal, Uttaran Bhattacharya, Rohan Chandra, Aniket Bera, Dinesh Manocha

STEP: Spatial Temporal Graph Convolutional Networks for Emotion Perception from Gaits

Uttaran Bhattacharya, Trisha Mittal, Rohan Chandra, Tanmay Randhavane, Aniket Bera

Biologically Plausible Sequence Learning with Spiking Neural Networks

Zuozhu Liu, Thiparat Chotibut, Christopher Hillar, Shaowei Lin

People Do Not Just Plan,They Plan to Plan

Mark Ho, David Abel, Jonathan Cohen, Michael Littman, Thomas Griffiths

Deep Reservoir Computing Meets 5G MIMO-OFDM Systems in Symbol Detection

Zhou Zhou, Lingjia Liu, Vikram Chandrasekhar, Jianzhong Zhang, Yang Yi

RiskOracle: A Minute-Level Citywide Traffic Accident Forecasting Framework

Zhengyang Zhou, Yang Wang, Xike Xie, Lianliang Chen, Hengchang Liu

Iteratively Questioning and Answering for Interpretable Legal Judgment Prediction

Haoxi Zhong, Yuzhong Wang, Cunchao Tu, Tianyang Zhang, Zhiyuan Liu

Index Tracking with Cardinality Constraints: A Stochastic Neural Networks Approach

Yu Zheng, Bowei Chen, Timothy M. Hospedales, Yongxin Yang

GMAN: A Graph Multi-Attention Network for Traffic Prediction

Chuanpan Zheng, Xiaoliang Fan, Cheng Wang, Jianzhong Qi

A Novel Learning Framework for Sampling-Based Motion Planning in Autonomous Driving

Yifan Zhang, Jinghuai Zhang, Jindi Zhang, Jianping Wang, Kejie Lu

Spatio-Temporal Graph Structure Learning for Traffic Forecasting

Qi Zhang, Jianlong Chang, GAOFENG MENG, SHIMING XIANG, Chunhong Pan

Geometry-Constrained Car Recognition Using a 3D Perspective Network

Zeng Rui, Ge Zongyuan, Denman Simon, Sridharan Sridha, Fookes Clinton

MetaLight: Value-Based Meta-Reinforcement Learning for Traffic Signal Control

Xinshi Zang, Huaxiu Yao, Guanjie Zheng, Nan Xu, Kai Xu

Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection

Zeping Yu, Rui Cao, Qiyi Tang, Sen Nie, Junzhou Huang

Instance-Wise Dynamic Sensor Selection for Human Activity Recognition

Xiaodong Yang, Yiqiang Chen, Hanchao Yu, Yingwei Zhang, Wang Lu

Scalable and Generalizable Social Bot Detection through Data Selection

Kai-Cheng Yang, Onur Varol, Pik-Mai Hui, Filippo Menczer

Beyond Digital Domain: Fooling Deep Learning Based Recognition System in Physical World

Kaichen Yang, Tzungyu Tsai, Honggang Yu, Tsung-Yi Ho, Yier Jin

Generate (Non-Software) Bugs to Fool Classifiers

Hiromu Yakura, Youhei Akimoto, Jun Sakuma

Hiding in Multilayer Networks

Marcin Waniek, Tomasz Michalak, Talal Rahwan

HDK: Toward High-Performance Deep-Learning-Based Kirchhoff Analysis

Xinying Wang, Olamide Timothy Tawose, Feng Yan, Dongfang Zhao

Graph-Driven Generative Models for Heterogeneous Multi-Task Learning

Wenlin Wang, Hongteng Xu, Zhe Gan, Bai Li, Guoyin Wang

Robust Adversarial Objects against Deep Learning Models

Tzungyu Tsai, Kaichen Yang, Tsung-Yi Ho, Yier Jin

Finding Needles in a Moving Haystack: Prioritizing Alerts with Adversarial Reinforcement Learning

Liang Tong, Aron Laszka, Chao Yan, Ning Zhang, Yevgeniy Vorobeychik

DATA-GRU: Dual-Attention Time-Aware Gated Recurrent Unit for Irregular Multivariate Time Series

Qingxiong Tan, Mang Ye, Baoyao Yang, Siqi Liu, Andy Jinhua Ma

Learning to Generate Maps from Trajectories

Sijie Ruan, Cheng Long, Jie Bao, Chunyang Li, Zisheng Yu

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data

Soham Pal, Yash Gupta, Aditya Shukla, Aditya Kanade, Shirish Shevade

Gait Recognition for Co-Existing Multiple People Using Millimeter Wave Sensing

Zhen Meng, Song Fu, Jie Yan, Hongyuan Liang, Anfu Zhou

Bursting the Filter Bubble: Fairness-Aware Network Link Prediction

Farzan Masrour, Tyler Wilson, Heng Yan, Pang-Ning Tan, Abdol Esfahanian

ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context

Liantao Ma, Chaohe Zhang, Yasha Wang, Wenjie Ruan, Jiangtao Wang

Learning Geo-Contextual Embeddings for Commuting Flow Prediction

Zhicheng Liu, Fabio Miranda, Weiting Xiong, Junyan Yang, Qiao Wang

PSENet: Psoriasis Severity Evaluation Network

Yi Li, Zhe Wu, Shuang Zhao, Xian Wu, Yehong Kuang

MRI Reconstruction with Interpretable Pixel-Wise Operations Using Reinforcement Learning

Wentian Li, Xidong Feng, Haotian An, Xiang Yao Ng, Yu-Jin Zhang

Privacy-Preserving Gradient Boosting Decision Trees

Qinbin Li, Zhaomin Wu, Zeyi Wen, Bingsheng He

Robust Low-Rank Discovery of Data-Driven Partial Differential Equations

Jun Li, Gan Sun, Guoshuai Zhao, Li-wei H. Lehman