Search

Search Results

• An Improved Upper Bound for SAT

  Huairui Chu, Mingyu Xiao, Zhe Zhang

  3707-3714

  2021-05-18

• Solving Infinite-Domain CSPs Using the Patchwork Property

  Konrad K Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

  3715-3723

  2021-05-18

• Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

  Stephan Gocht, Jakob Nordström

  3768-3777

  2021-05-18

• Integrated Optimization of Bipartite Matching and Its Stochastic Behavior: New Formulation and Approximation Algorithm via Min-cost Flow Optimization

  Yuya Hikima, Yasunori Akagi, Hideaki Kim, Masahiro Kohjima, Takeshi Kurashima, Hiroyuki Toda

  3796-3805

  2021-05-18

• Parallel Constraint Acquisition

  Nadjib Lazaar

  3860-3867

  2021-05-18

• Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty

  Nian-Ze Lee, Jie-Hong R. Jiang

  3877-3885

  2021-05-18

• Efficient Optimal Selection for Composited Advertising Creatives with Tree Structure

  Jin Chen, Tiezheng Ge, Gangwei Jiang, Zhiqiang Zhang, Defu Lian, Kai Zheng

  3967-3975

  2021-05-18

• Revisiting Consistent Hashing with Bounded Loads

  John Chen, Benjamin Coleman, Anshumali Shrivastava

  3976-3983

  2021-05-18

• Towards Faster Deep Collaborative Filtering via Hierarchical Decision Networks

  Yu Chen, Sinno Jialin Pan

  4001-4009

  2021-05-18

• Online Learning in Variable Feature Spaces under Incomplete Supervision

  Yi He, Xu Yuan, Sheng Chen, Xindong Wu

  4106-4114

  2021-05-18

• LREN: Low-Rank Embedded Network for Sample-Free Hyperspectral Anomaly Detection

  Kai Jiang, Weiying Xie, Jie Lei, Tao Jiang, Yunsong Li

  4139-4146

  2021-05-18

• Reinforced Imitative Graph Representation Learning for Mobile User Profiling: An Adversarial Training Perspective

  Dongjie Wang, Pengyang Wang, Kunpeng Liu, Yuanchun Zhou, Charles E Hughes, Yanjie Fu

  4410-4417

  2021-05-18

• Hybrid-order Stochastic Block Model

  Xunxun Wu, Chang-Dong Wang, Pengfei Jiao

  4470-4477

  2021-05-18

• AttnMove: History Enhanced Trajectory Recovery via Attentional Network

  Tong Xia, Yunhan Qi, Jie Feng, Fengli Xu, Funing Sun, Diansheng Guo, Yong Li

  4494-4502

  2021-05-18

• Self-Supervised Hypergraph Convolutional Networks for Session-based Recommendation

  Xin Xia, Hongzhi Yin, Junliang Yu, Qinyong Wang, Lizhen Cui, Xiangliang Zhang

  4503-4511

  2021-05-18

• Dynamic Knowledge Graph Alignment

  Yuchen Yan, Lihui Liu, Yikun Ban, Baoyu Jing, Hanghang Tong

  4564-4572

  2021-05-18

• Uncovering Latent Biases in Text: Method and Application to Peer Review

  Emaad Manzoor, Nihar B. Shah

  4767-4775

  2021-05-18

• Gaining Insight into SARS-CoV-2 Infection and COVID-19 Severity Using Self-supervised Edge Features and Graph Neural Networks

  Arijit Sehanobish, Neal Ravindra, David van Dijk

  4864-4873

  2021-05-18

• C-Watcher: A Framework for Early Detection of High-Risk Neighborhoods Ahead of COVID-19 Outbreak

  Congxi Xiao, Jingbo Zhou, Jizhou Huang, An Zhuo, Ji Liu, Haoyi Xiong, Dejing Dou

  4892-4900

  2021-05-18

• Representative Proxy Voting

  Elliot Anshelevich, Zack Fitzsimmons, Rohit Vaish, Lirong Xia

  5086-5093

  2021-05-18

• Forming Better Stable Solutions in Group Formation Games Inspired by Internet Exchange Points (IXPs)

  Elliot Anshelevich, Wennan Zhu

  5094-5101

  2021-05-18

• Proportionally Representative Participatory Budgeting with Ordinal Preferences

  Haris Aziz, Barton E. Lee

  5110-5118

  2021-05-18

• Signaling in Bayesian Network Congestion Games: the Subtle Power of Symmetry

  Matteo Castiglioni, Andrea Celli, Alberto Marchesi, Nicola Gatti

  5252-5259

  2021-05-18

• Fair and Efficient Allocations under Subadditive Valuations

  Bhaskar Ray Chaudhury, Jugal Garg, Ruta Mehta

  5269-5276

  2021-05-18

• Proportional Representation under Single-Crossing Preferences Revisited

  Andrei Costin Constantinescu, Edith Elkind

  5286-5293

  2021-05-18