Papers
On the Convergence of Communication-Efficient Local SGD for Federated Learning
Hongchang Gao, An Xu, Heng Huang
On-the-fly Synthesis for LTL over Finite Traces
Shengping Xiao, Jianwen Li, Shufang Zhu et al.
On the Importance of Word Order Information in Cross-lingual Sequence Labeling
Zihan Liu, Genta I Winata, Samuel Cahyawijaya et al.
On the Optimal Efficiency of A* with Dominance Pruning
Álvaro Torralba
On the PTAS for Maximin Shares in an Indivisible Mixed Manna
Rucha Kulkarni, Ruta Mehta, Setareh Taki
On the Softmax Bottleneck of Recurrent Language Models
Dwarak Govind Parthiban, Yongyi Mao, Diana Inkpen
On the Tractability of SHAP Explanations
Guy Van den Broeck, Anton Lykov, Maximilian Schleich et al.
On the Verification of Neural ODEs with Stochastic Guarantees
Sophie Grunbacher, Ramin Hasani, Mathias Lechner et al.
Ontology-Enriched Query Answering on Relational Databases
Shqiponja Ahmetaj, Vasilis Efthymiou, Ronald Fagin et al.
Open Domain Dialogue Generation with Latent Images
Ze Yang, Wei Wu, Huang Hu et al.
Open-Set Recognition with Gaussian Mixture Variational Autoencoders
Alexander Cao, Yuan Luo, Diego Klabjan
OpEvo: An Evolutionary Method for Tensor Operator Optimization
Xiaotian Gao, Wei Cui, Lintao Zhang et al.
Opponent Hand Estimation in Gin Rummy Using Deep Neural Networks and Heuristic Strategies
Bhaskar Mishra, Ashish Aggarwal
Opponent Hand Estimation in the Game of Gin Rummy
Peter E. Francis, Hoang A. Just, Todd W. Neller
OPQ: Compressing Deep Neural Networks with One-shot Pruning-Quantization
Peng Hu, Xi Peng, Hongyuan Zhu et al.
OPRA: An Open-Source Online Preference Reporting and Aggregation System
Yiwei Chen, Jingwen Qian, Junming Wang et al.
Optical Flow Estimation from a Single Motion-blurred Image
Dawit Mureja Argaw, Junsik Kim, Francois Rameau et al.
Optimal Decision Trees for Nonlinear Metrics
Emir Demirović, Peter J. Stuckey
Optimal Kidney Exchange with Immunosuppressants
Haris Aziz, Ágnes Cseh, John P. Dickerson et al.
Optimising Automatic Calibration of Electric Muscle Stimulation
Graeme Gange, Jarrod Knibbe
Optimizing Information Theory Based Bitwise Bottlenecks for Efficient Mixed-Precision Activation Quantization
Xichuan Zhou, Kui Liu, Cong Shi et al.
Oral-3D: Reconstructing the 3D Structure of Oral Cavity from Panoramic X-ray
Weinan Song, Yuan Liang, Jiawei Yang et al.
Ordered Counterfactual Explanation by Mixed-Integer Linear Optimization
Kentaro Kanamori, Takuya Takagi, Ken Kobayashi et al.
Order Regularization on Ordinal Loss for Head Pose, Age and Gaze Estimation
Tianchu Guo, Hui Zhang, ByungIn Yoo et al.
Ordinal Historical Dependence in Graphical Event Models with Tree Representations
Debarun Bhattacharjya, Tian Gao, Dharmashankar Subramanian