Papers
8,127 papers found
Small Undecidable Problems in Epistemic Planning
Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
Small-Variance Asymptotics for Nonparametric Bayesian Overlapping Stochastic Blockmodels
Gundeep Arora, Anupreet Porwal, Kanupriya Agarwal et al.
Socially Motivated Partial Cooperation in Multi-agent Local Search
Tal Ze'evi, Roie Zivan, Omer Lev
Social Media based Simulation Models for Understanding Disease Dynamics
Ting Hua, Chandan K Reddy, Lei Zhang et al.
Soft Filter Pruning for Accelerating Deep Convolutional Neural Networks
Yang He, Guoliang Kang, Xuanyi Dong et al.
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang
Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract)
Adi Botea, Davide Bonusi, Pavel Surynek
Solving Patrolling Problems in the Internet Environment
Tomas Brazdil, Antonin Kucera, Vojtech Rehak
Solving Separable Nonsmooth Problems Using Frank-Wolfe with Uniform Affine Approximations
Edward Cheung, Yuying Li
Solving Sudoku with Consistency: A Visual and Interactive Approach
Ian Howell, Robert Woodward, Berthe Y. Choueiry et al.
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT
Zhendong Lei, Shaowei Cai
Spatio-Temporal Check-in Time Prediction with Recurrent Neural Network based Survival Analysis
Guolei Yang, Ying Cai, Chandan K Reddy
Spatio-Temporal Graph Convolutional Networks: A Deep Learning Framework for Traffic Forecasting
Bing Yu, Haoteng Yin, Zhanxing Zhu
Spectral Feature Scaling Method for Supervised Dimensionality Reduction
Momo Matsuda, Keiichi Morikuni, Tetsuya Sakurai
SSR-Net: A Compact Soft Stagewise Regression Network for Age Estimation
Tsun-Yi Yang, Yi-Hsuan Huang, Yen-Yu Lin et al.
StackDRL: Stacked Deep Reinforcement Learning for Fine-grained Visual Categorization
Xiangteng He, Yuxin Peng, Junjie Zhao
Stackelberg Security Games: Looking Beyond a Decade of Success
Arunesh Sinha, Fei Fang, Bo An et al.
Stochastic Anytime Search for Bounding Marginal MAP
Radu Marinescu, Rina Dechter, Alexander Ihler
Stochastic Fractional Hamiltonian Monte Carlo
Nanyang Ye, Zhanxing Zhu
Stochastic Second-Order Method for Large-Scale Nonconvex Sparse Learning Models
Hongchang Gao, Heng Huang
Strategyproof and Fair Matching Mechanism for Union of Symmetric M-convex Constraints
Yuzhe Zhang, Kentaro Yahiro, Nathanaël Barrot et al.
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
Stratified Negation in Limit Datalog Programs
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev et al.