Papers
Exact Algorithms for Distance to Unique Vertex Cover
Foivos Fioravantes, Dušan Knop, Nikolaos Melissinos et al.
Aperiodic Tiling and Rhythmic Canons: A CP Journey
Guillaume Derval, Christophe Lecoutre
Learning DFAs from Positive Examples Only via Word Counting
Benjamin Bordais, Daniel Neider
Using Certifying Constraint Solvers for Generating Step-wise Explanations
Ignace Bleukx, Maarten Flippo, Bart Bogaerts et al.
Proof Systems That Tightly Characterise Model Counting Algorithms
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche
Proof Systems for Tensor-based Model Counting
Olaf Beyersdorff, Joachim Giesen, Andreas Goral et al.
Ordered Objectives in Maximum Satisfiability
Jeremias Berg, André Schidler, Matti Järvisalo
Greedily Maximizing Ex-Ante Fairness
Ruben Becker, Bojana Kodric, Cosimo Vinci
Learning with Structure: Computing Consistent Subsets on Structurally-Regular Graphs
Aritra Banik, Mano Prakash Parthasarathi, Venkatesh Raman et al.
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø et al.
Faster Symmetry Breaking Constraints for Abstract Structures
Özgür Akgün, Mun See Chang, Ian P. Gent et al.
CoordAR: One-Reference 6D Pose Estimation of Novel Objects via Autoregressive Coordinate Map Generation
Dexin Zuo, Ang Li, Wei Wang et al.
Decoupling What to Count and Where to See for Referring Expression Counting
Yuda Zou, Zijian Zhang, Yongchao Xu
Boosting Adversarial Transferability via Ensemble Non-Attention
Yipeng Zou, Qin Liu, Jie Wu et al.
HATIR: Heat-Aware Diffusion for Turbulent Infrared Video Super-Resolution
Yang Zou, Xingyue Zhu, Kaiqi Han et al.
Turbo-VAED: Fast and Stable Transfer of Video-VAEs to Mobile Devices
Ya Zou, Jingfeng Yao, Siyuan Yu et al.
Appearance Discrepancy-guided Sequence Hybrid Masking for Robust Scene Text Recognition
Shihao Zou, Wei Wei, Leyang Xu et al.
EchoGen: Cycle-Consistent Learning for Unified Layout-Image Generation and Understanding
Kai Zou, Hongbo Liu, Dian Zheng et al.
HouseTune: Two-Stage Floorplan Generation with LLM Assistance
Ziyang Zong, Guanying Chen, Zhaohuan Zhan et al.
Libra-MIL: Multimodal Prototypes Stereoscopic Infused with Task-specific Language Priors for Few-shot Whole Slide Image Classification
Zhenfeng Zhuang, Fangyu Zhou, Liansheng Wang
Q Cache: Visual Attention Is Valuable in Less than Half of Decode Layers for Multimodal Large Language Model
Jiedong Zhuang, Lu Lu, Ming Dai et al.
Training-Free Spatio-temporal Decoupled Reasoning Video Segmentation with Adaptive Object Memory
Zhengtong Zhu, Jiaqing Fan, Zhixuan Liu et al.
SinBasis Networks: Matrix-Equivalent Feature Extraction for Wave-Like Optical Spectrograms
Yuzhou Zhu, Zheng Zhang, Ruyi Zhang et al.
Pixel-level Quality Assessment for Oriented Object Detection
Yunhui Zhu, Buliao Huang