Papers
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Sander J.J. Leemans, Fabrizio M. Maggi, Marco Montali
First-Choice Maximality Meets Ex-ante and Ex-post Fairness
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia et al.
Flaws of Termination and Optimality in ADOPT-based Algorithms
Koji Noshiro, Koji Hasebe
Fluid Dynamics-Inspired Network for Infrared Small Target Detection
Tianxiang Chen, Qi Chu, Bin Liu et al.
Forecasting Soil Moisture Using Domain Inspired Temporal Graph Convolution Neural Networks To Guide Sustainable Crop Management
Muneeza Azmat, Malvern Madondo, Arun Bawa et al.
Formal Explanations of Neural Network Policies for Planning
Renee Selvey, Alban Grastien, Sylvie Thiébaux
For Women, Life, Freedom: A Participatory AI-Based Social Web Analysis of a Watershed Moment in Iran's Gender Struggles
Adel Khorramrouz, Sujan Dutta, Ashiqur R. KhudaBukhsh
From Association to Generation: Text-only Captioning by Unsupervised Cross-modal Mapping
Junyang Wang, Ming Yan, Yi Zhang et al.
From Generation to Suppression: Towards Effective Irregular Glow Removal for Nighttime Visibility Enhancement
Wanyu Wu, Wei Wang, Zheng Wang et al.
Front-to-End Bidirectional Heuristic Search with Consistent Heuristics: Enumerating and Evaluating Algorithms and Bounds
Lior Siag, Shahaf Shperberg, Ariel Felner et al.
Full Scaling Automation for Sustainable Development of Green Data Centers
Shiyu Wang, Yinbo Sun, Xiaoming Shi et al.
Function Approximation for Reinforcement Learning Controller for Energy from Spread Waves
Soumyendu Sarkar, Vineet Gundecha, Sahand Ghorbanpour et al.
G2Pxy: Generative Open-Set Node Classification on Graphs with Proxy Unknowns
Qin Zhang, Zelin Shi, Xiaolin Zhang et al.
Game Theory with Simulation of Other Players
Vojtěch Kovařík, Caspar Oesterheld, Vincent Conitzer
Gapformer: Graph Transformer with Graph Pooling for Node Classification
Chuang Liu, Yibing Zhan, Xueqi Ma et al.
GeNAS: Neural Architecture Search with Better Generalization
Joonhyun Jeong, Joonsang Yu, Geondo Park et al.
Generalization Bounds for Adversarial Metric Learning
Wen Wen, Han Li, Hong Chen et al.
Generalization Guarantees of Self-Training of Halfspaces under Label Noise Corruption
Lies Hadjadj, Massih-Reza Amini, Sana Louhichi
Generalization through Diversity: Improving Unsupervised Environment Design
Wenjun Li, Pradeep Varakantham, Dexun Li
Generalized Discriminative Deep Non-Negative Matrix Factorization Based on Latent Feature and Basis Learning
Zijian Yang, Zhiwei Li, Lu Sun
Generalizing to Unseen Elements: A Survey on Knowledge Extrapolation for Knowledge Graphs
Mingyang Chen, Wen Zhang, Yuxia Geng et al.
Generative Diffusion Models on Graphs: Methods and Applications
Chengyi Liu, Wenqi Fan, Yunqing Liu et al.
Generative Flow Networks for Precise Reward-Oriented Active Learning on Graphs
Yinchuan Li, Zhigang Li, Wenqian Li et al.
Genetic Prompt Search via Exploiting Language Model Probabilities
Jiangjiang Zhao, Zhuoran Wang, Fangchun Yang