Search

Search Results

• Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

  Alessandro Gianola, Marco Montali, Sarah Winkler

  10525-10534

  2024-03-24

• DSFedMed: Dual-Scale Federated Medical Image Segmentation via Mutual Distillation Between Foundation and Lightweight Models

  Hanwen Zhang, Qiaojin Shen, Yuxi Liu, Yuesheng Zhu, Guibo Luo

  12457-12465

  2026-03-14

• Graph2Video: Leveraging Video Models to Model Dynamic Graph Evolution

  Hua Liu, Yanbin Wei, Fei Xing, Tyler Derr, Haoyu Han, Yu Zhang

  15315-15323

  2026-03-14

• Computer-Assisted Authoring for Natural Language Story Scripts

  Rushit Sanghrajka, Wojciech Witoń, Sasha Schriber, Markus Gross, Mubbasir Kapadia

  2018-04-27

• On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment

  Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi

  2017-02-12

• Tractable Cost-Optimal Planning over Restricted Polytree Causal Graphs

  Meysam Aghighi, Peter Jonsson, Simon Ståhlberg

  2015-03-04

• Wind Prediction under Random Data Corruption (Student Abstract)

  Conner Flansburg, Dimitrios I. Diochnos

  12945-12946

  2022-06-28

• Exploring CLIP for Assessing the Look and Feel of Images

  Jianyi Wang, Kelvin C.K. Chan, Chen Change Loy

  2555-2563

  2023-06-26

• Detecting and Grounding Important Characters in Visual Stories

  Danyang Liu, Frank Keller

  13210-13218

  2023-06-26

• End-to-End Transformer Based Model for Image Captioning

  Yiyu Wang, Jungang Xu, Yingfei Sun

  2585-2594

  2022-06-28

• Training-Free Uncertainty Estimation for Dense Regression: Sensitivity as a Surrogate

  Lu Mi, Hao Wang, Yonglong Tian, Hao He, Nir N Shavit

  10042-10050

  2022-06-28

• Adversarial Robustness in Multi-Task Learning: Promises and Illusions

  Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

  697-705

  2022-06-28

• Text-to-Image Generation for Abstract Concepts

  Jiayi Liao, Xu Chen, Qiang Fu, Lun Du, Xiangnan He, Xiang Wang, Shi Han, Dongmei Zhang

  3360-3368

  2024-03-24

• S3A: Towards Realistic Zero-Shot Classification via Self Structural Semantic Alignment

  Sheng Zhang, Muzammal Naseer, Guangyi Chen, Zhiqiang Shen, Salman Khan, Kun Zhang, Fahad Shahbaz Khan

  7278-7286

  2024-03-24

• Training Spiking Neural Networks with Accumulated Spiking Flow

  Hao Wu, Yueyi Zhang, Wenming Weng, Yongting Zhang, Zhiwei Xiong, Zheng-Jun Zha, Xiaoyan Sun, Feng Wu

  10320-10328

  2021-05-18

• GaussianPainter: Painting Point Cloud into 3D Gaussians with Normal Guidance

  Jingqiu Zhou, Lue Fan, Xuesong Chen, Linjiang Huang, Si Liu, Hongsheng Li

  10788-10796

  2025-04-11

• Stochastic Contextual Bandits with Long Horizon Rewards

  Yuzhen Qin, Yingcong Li, Fabio Pasqualetti, Maryam Fazel, Samet Oymak

  9525-9533

  2023-06-26

• DOGE-Train: Discrete Optimization on GPU with End-to-End Training

  Ahmed Abbas, Paul Swoboda

  20623-20631

  2024-03-24

• Discovery of Feasible 3D Printing Configurations for Metal Alloys via AI-Driven Adaptive Experimental Design

  Azza Fadhel, Nathaniel W. Zuckschwerdt, Aryan Deshwal, Susmita Bose, Amit Bandyopadhyay, Jana Doppa

  39939-39948

  2026-03-14

• Natural Option Critic

  Saket Tiwari, Philip S. Thomas

  5175-5182

  2019-07-17

• OMPQ: Orthogonal Mixed Precision Quantization

  Yuexiao Ma, Taisong Jin, Xiawu Zheng, Yan Wang, Huixia Li, Yongjian Wu, Guannan Jiang, Wei Zhang, Rongrong Ji

  9029-9037

  2023-06-26

• An Interactive Regret-Based Genetic Algorithm for Solving Multi-Objective Combinatorial Optimization Problems

  Nawal Benabbou, Cassandre Leroy, Thibaut Lust

  2335-2342

  2020-04-03

• Attacking Video Recognition Models with Bullet-Screen Comments

  Kai Chen, Zhipeng Wei, Jingjing Chen, Zuxuan Wu, Yu-Gang Jiang

  312-320

  2022-06-28

• TrOCR: Transformer-Based Optical Character Recognition with Pre-trained Models

  Minghao Li, Tengchao Lv, Jingye Chen, Lei Cui, Yijuan Lu, Dinei Florencio, Cha Zhang, Zhoujun Li, Furu Wei

  13094-13102

  2023-06-26

• Exploring Large Language Model for Graph Data Understanding in Online Job Recommendations

  Likang Wu, Zhaopeng Qiu, Zhi Zheng, Hengshu Zhu, Enhong Chen

  9178-9186

  2024-03-24