Search

Search Results

• Dynamic Entity-Masked Graph Diffusion Model for Histopathology Image Representation Learning

  Zhenfeng Zhuang, Min Cen, Yanfeng Li, Fangyu Zhou, Lequan Yu, Baptiste Magnier, Liansheng Wang

  11058-11066

  2025-04-11

• CoCoCo: Improving Text-Guided Video Inpainting for Better Consistency, Controllability and Compatibility

  Bojia Zi, Shihao Zhao, Xianbiao Qi, Jianan Wang, Yukai Shi, Qianyu Chen, Bin Liang, Rong Xiao, Kam-Fai Wong, Lei Zhang

  11067-11076

  2025-04-11

• RhythmMamba: Fast, Lightweight, and Accurate Remote Physiological Measurement

  Bochao Zou, Zizheng Guo, Xiaocheng Hu, Huimin Ma

  11077-11085

  2025-04-11

• AdaCo: Overcoming Visual Foundation Model Noise in 3D Semantic Segmentation via Adaptive Label Correction

  Pufan Zou, Shijia Zhao, Weijie Huang, Qiming Xia, Chenglu Wen, Wei Li, Cheng Wang

  11086-11094

  2025-04-11

• L-Man: A Large Multi-modal Model Unifying Human-centric Tasks

  Jialong Zuo, Ying Nie, Tianyu Guo, Huaxin Zhang, Jiahao Hong, Nong Sang, Changxin Gao, Kai Han

  11095-11103

  2025-04-11

• Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

  Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev

  11105-11112

  2025-04-11

• Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning

  Swann Bessa, Darius Dabert, Max Bourgeat, Louis-Martin Rousseau, Quentin Cappart

  11113-11121

  2025-04-11

• Exploiting Symmetries in MUS Computation

  Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns

  11122-11130

  2025-04-11

• Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound

  Cătălin E. Brița, Jacobus G. M. van der Linden, Emir Demirović

  11131-11139

  2025-04-11

• Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

  Yunuo Cen, Zhiwei Zhang, Xuanyao Fong

  11140-11149

  2025-04-11

• Linear Equations with Min and Max Operators: Computational Complexity

  Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda

  11150-11157

  2025-04-11

• Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization

  Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J Motwani, Maximilian Seeliger, Đorđe Žikelić

  11158-11166

  2025-04-11

• GPU-Accelerated Parallel Bilevel Optimization for Roubst 6G ISAC

  Xingdi Chen, Kai Yang

  11167-11175

  2025-04-11

• Proof Simulation via Round-based Strategy Extraction for QBF

  Leroy Chew

  11176-11184

  2025-04-11

• Diffusion-based Synthetic Data Generation for Visible-Infrared Person Re-Identification

  Wenbo Dai, Lijing Lu, Zhihang Li

  11185-11193

  2025-04-11

• Complete Symmetry Breaking for Finite Models

  Marek Dančo, Mikoláš Janota, Michael Codish, João Jorge Araújo

  11194-11202

  2025-04-11

• Decentralized Projected Riemannian Stochastic Recursive Momentum Method for Nonconvex Optimization

  Kangkang Deng, Jiang Hu

  11203-11211

  2025-04-11

• SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch

  Shengyu Feng, Yiming Yang

  11212-11220

  2025-04-11

• Langevin Multiplicative Weights Update with Applications in Polynomial Portfolio Management

  Yi Feng, Xiao Wang, Tian Xie

  11221-11228

  2025-04-11

• Parameterized Complexity of Caching in Networks

  Robert Ganian, Fionn Mc Inerney, Dimitra Tsigkari

  11229-11237

  2025-04-11

• FFCG: Effective and Fast Family Column Generation for Solving Large-Scale Linear Program

  Yi-Xiang Hu, Feng Wu, Shaoang Li, Yifang Zhao, Xiang-Yang Li

  11238-11245

  2025-04-11

• Breaking Symmetries in Quantified Graph Search: A Comparative Study

  Mikoláš Janota, Markus Kirchweger, Tomáš Peitl, Stefan Szeider

  11246-11254

  2025-04-11

• A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic

  Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

  11255-11263

  2025-04-11

• DCC: Differentiable Cardinality Constraints for Partial Index Tracking

  Wooyeon Jo, Hyunsouk Cho

  11264-11271

  2025-04-11

• Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT

  Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà

  11272-11281

  2025-04-11