Papers
SAT-Based Explicit LTLf Satisfiability Checking
Jianwen Li, Kristin Y. Rozier, Geguang Pu et al.
Satellite Detection of Moving Vessels in Marine Environments
Natalie Fridman, Doron Amir, Yinon Douchan et al.
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev et al.
Satisfiability in Strategy Logic Can Be Easier than Model Checking
Erman Acar, Massimo Benerecetti, Fabio Mogavero
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Po-Wei Wang, Priya Donti, Bryan Wilder et al.
SAX Breakpoints for Random Forest Based Real-Time Contrast Control Chart
In-Seok Lee, Jun-Geol Baek
Say Anything: Automatic Semantic Infelicity Detection in L2 English Indefinite Pronouns
Ella Rabinovich, Julia Watson, Barend Beekhuizen et al.
Say What? A Dataset for Exploring the Error Patterns That Two ASR Engines Make
Meredith Moore, Michael Saxon, Hemanth Venkateswara et al.
SBSGAN: Suppression of Inter-Domain Background Shift for Person Re-Identification
Yan Huang, Qiang Wu, JingSong Xu et al.
2019
ICCV
Scalable and Accurate Dialogue State Tracking via Hierarchical Sequence Generation
Liliang Ren, Jianmo Ni, Julian McAuley
Scalable and Accurate Dialogue State Tracking via Hierarchical Sequence Generation
Liliang Ren, Jianmo Ni, Julian McAuley
Scalable and Congestion-Aware Routing for Autonomous Mobility-On-Demand Via Frank-Wolfe Optimization
Kiril Solovey, Mauro Salazar, Marco Pavone
Scalable and Efficient Pairwise Learning to Achieve Statistical Accuracy
Bin Gu, Zhouyuan Huo, Heng Huang
Scalable Approximations for Generalized Linear Problems
Murat Erdogdu, Mohsen Bayati, Lee H. Dicker
Scalable Bayesian dynamic covariance modeling with variational Wishart and inverse Wishart processes
Creighton Heaukulani, Mark van der Wilk
Scalable Bayesian inference of dendritic voltage via spatiotemporal recurrent state space models
Ruoxi Sun, Scott Linderman, Ian Kinsella et al.
Scalable Bayesian Learning for State Space Models using Variational Inference with SMC Samplers
Marcel Hirt, Petros Dellaportas
Scalable Bayesian Non-linear Matrix Completion
Xiangju Qin, Paul Blomstedt, Samuel Kaski
Scalable Block-Diagonal Locality-Constrained Projective Dictionary Learning
Zhao Zhang, Weiming Jiang, Zheng Zhang et al.
Scalable Collapsed Inference for High-Dimensional Topic Models
Rashidul Islam, James Foulds
Scalable Convolutional Neural Network for Image Compressed Sensing
Wuzhen Shi, Feng Jiang, Shaohui Liu et al.
Scalable Deep Generative Relational Model with High-Order Node Dependence
Xuhui Fan, Bin Li, Caoyuan Li et al.
Scalable Distributed DL Training: Batching Communication and Computation
Shaoqi Wang, Aidi Pi, Xiaobo Zhou
Scalable Fair Clustering
Arturs Backurs, Piotr Indyk, Krzysztof Onak et al.
Scalable Gaussian Process Inference with Finite-data Mean and Variance Guarantees
Jonathan H. Huggins, Trevor Campbell, Mikolaj Kasprzak et al.