Papers
DiffChaser: Detecting Disagreements for Deep Neural Networks
Xiaofei Xie, Lei Ma, Haijun Wang et al.
ISLF: Interest Shift and Latent Factors Combination Model for Session-based Recommendation
Jing Song, Hong Shen, Zijing Ou et al.
Ranked Programming
Tjitze Rienstra
Cutset Bayesian Networks: A New Representation for Learning Rao-Blackwellised Graphical Models
Tahrima Rahman, Shasha Jin, Vibhav Gogate
Hyper-parameter Tuning under a Budget Constraint
Zhiyun Lu, Liyu Chen, Chao-Kai Chiang et al.
Exact Bernoulli Scan Statistics using Binary Decision Diagrams
Masakazu Ishihata, Takanori Maehara
An End-to-End Community Detection Model: Integrating LDA into Markov Random Field via Factor Graph
Dongxiao He, Wenze Song, Di Jin et al.
On Constrained Open-World Probabilistic Databases
Tal Friedman, Guy Van den Broeck
Thompson Sampling on Symmetric Alpha-Stable Bandits
Abhimanyu Dubey, Alex `Sandy' Pentland
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis
Yi Chou, Sriram Sankaranarayanan
Lifted Message Passing for Hybrid Probabilistic Inference
Yuqiao Chen, Nicholas Ruozzi, Sriraam Natarajan
Statistical Guarantees for the Robustness of Bayesian Neural Networks
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti et al.
Region Deformer Networks for Unsupervised Depth Estimation from Unconstrained Monocular Videos
Haofei Xu, Jianmin Zheng, Jianfei Cai et al.
Unsupervised Learning of Monocular Depth and Ego-Motion using Conditional PatchGANs
Madhu Vankadari, Swagat Kumar, Anima Majumder et al.
The Parameterized Complexity of Motion Planning for Snake-Like Robots
Siddharth Gupta, Guy Sa'ar, Meirav Zehavi
Energy-Efficient Slithering Gait Exploration for a Snake-Like Robot Based on Reinforcement Learning
Zhenshan Bing, Christian Lemke, Zhuangyi Jiang et al.
Steady-State Policy Synthesis for Verifiable Control
Alvaro Velasquez
Merge-and-Shrink Task Reformulation for Classical Planning
Álvaro Torralba, Silvan Sievers
On Computational Complexity of Pickup-and-Delivery Problems with Precedence Constraints or Time Windows
Xing Tan, Jimmy Xiangji Huang
Scheduling Jobs with Stochastic Processing Time on Parallel Identical Machines
Richard Stec, Antonin Novak, Premysl Sucha et al.
A Novel Distribution-Embedded Neural Network for Sensor-Based Activity Recognition
Hangwei Qian, Sinno Jialin Pan, Bingshui Da et al.
Adaptive Thompson Sampling Stacks for Memory Bounded Open-Loop Planning
Thomy Phan, Thomas Gabor, Robert Müller et al.
Partitioning Techniques in LTLf Synthesis
Lucas Martinelli Tabajara, Moshe Y. Vardi
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations
Joseph Kim, Christian Muise, Ankit Shah et al.