Papers
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.
Structured Inference for Recurrent Hidden Semi-markov Model
Hao Liu, Lirong He, Haoli Bai et al.
Student-t Variational Autoencoder for Robust Density Estimation
Hiroshi Takahashi, Tomoharu Iwata, Yuki Yamanaka et al.
Submodularity-Inspired Data Selection for Goal-Oriented Chatbot Training Based on Sentence Embeddings
Mladen Dimovski, Claudiu Musat, Vladimir Ilievski et al.
Summarizing Source Code with Transferred API Knowledge
Xing Hu, Ge Li, Xin Xia et al.
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
SynKit: LTL Synthesis as a Service
Alberto Camacho, Christian Muise, Jorge A. Baier et al.
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game
Shaull Almagor, Orna Kupferman, Giuseppe Perelli
Synthesizing Pattern Programs from Examples
Sunbeom So, Hakjoo Oh
Systems AI: A Declarative Learning Based Programming Perspective
Parisa Kordjamshidi, Dan Roth, Kristian Kersting
Tag-based Weakly-supervised Hashing for Image Retrieval
Ziyu Guan, Fei Xie, Wanqing Zhao et al.
Tamper-Proof Privacy Auditing for Artificial Intelligence Systems
Andrew Sutton, Reza Samavi
Task-Guided and Semantic-Aware Ranking for Academic Author-Paper Correlation Inference
Chuxu Zhang, Lu Yu, Xiangliang Zhang et al.
Teaching Machines to Ask Questions
Kaichun Yao, Libo Zhang, Tiejian Luo et al.
Teaching Semi-Supervised Classifier via Generalized Distillation
Chen Gong, Xiaojun Chang, Meng Fang et al.
Temporal Belief Memory: Imputing Missing Data during RNN Training
Yeo Jin Kim, Min Chi
TensorCast: Forecasting Time-Evolving Networks with Contextual Information
Miguel Araújo, Pedro Ribeiro, Christos Faloutsos
Text Emotion Distribution Learning via Multi-Task Convolutional Neural Network
Yuxiang Zhang, Jiamei Fu, Dongyu She et al.
The Complexity of Limited Belief Reasoning—The Quantifier-Free Case
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The Facets of Artificial Intelligence: A Framework to Track the Evolution of AI
Fernando Martínez-Plumed, Bao Sheng Loe, Peter Flach et al.
The FastMap Algorithm for Shortest Path Computations
Liron Cohen, Tansel Uras, Shiva Jahangiri et al.
The Finite Model Theory of Bayesian Networks: Descriptive Complexity
Fabio Gagliardi Cozman, Denis Deratani Mauá