Mengyu Zhao

24 papers A* 3Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Shot-Aware Frame Sampling for Video Understanding.
CoRR
Mengyu Zhao, Di Fu, Yongyu Xie, Jiaxing Zhang, Zhigang Yuan, Shirin Jalali, Yong Cao
2025 J jnl
Ecca-unet: edge-aware and channel-enhanced cross-attention network for medical image segmentation.
Multim. Syst.
Tao Liu, Jianlong Hu, Mengyu Zhao
2025 J jnl
Efficient Formal Verification of Quantum Error Correcting Programs.
CoRR
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025 J jnl
Efficient Formal Verification of Quantum Error Correcting Programs.
Proc. ACM Program. Lang.
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025 J jnl
Lcpa-msdce UNet: a unet variant integrating lightweight channel-pixel attention and multi-scale dilated convolution enhancement modules for medical image segmentation.
J. Supercomput.
Yifeng Lin, Mengyu Zhao, Bing Su
2025 J jnl
Saturation in Snapshot Compressive Imaging.
CoRR
Mengyu Zhao, Shirin Jalali
2025 J jnl
Theoretical Characterization of Effect of Masks in Snapshot Compressive Imaging.
CoRR
Mengyu Zhao, Shirin Jalali
2025 J jnl
Theoretical Characterization of Effect of Masks in Snapshot Compressive Imaging.
SIAM J. Imaging Sci.
Mengyu Zhao, Shirin Jalali
2024 J jnl
A Fast Optimal Coordination Method for Multiagent in Complex Environment.
Int. J. Intell. Syst.
Suyu Wang, Quan Yue, Mengyu Zhao, Huazhi Zhang, Yan Li
2024 — conf
A Local Search Algorithm for MaxSMT(LIA).
FM (1)
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
2024 J jnl
A Local Search Algorithm for MaxSMT(LIA).
CoRR
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
2024 J jnl
A fast local search algorithm for minimum sum coloring problem on massive graphs.
Comput. Oper. Res.
Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang
2024 A* conf
An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints.
KDD
Xiang He, Wuyang Mao, Zhenghang Xu, Yuanzhe Gu, Yundu Huang, Zhonglin Zu, Liang Wang, Mengyu Zhao, Mengchuan Zou
2024 — conf
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning.
CAV (1)
Mengyu Zhao, Shaowei Cai, Yuhang Qian
2024 A* conf
Untrained Neural Nets for Snapshot Compressive Imaging: Theory and Algorithms.
NeurIPS
Mengyu Zhao, Xi Chen, Xin Yuan, Shirin Jalali
2024 J jnl
Untrained Neural Nets for Snapshot Compressive Imaging: Theory and Algorithms.
CoRR
Mengyu Zhao, Xi Chen, Xin Yuan, Shirin Jalali
2023 J jnl
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.
CoRR
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
2023 — conf
Teaching Chinese Pattern Extraction and Its Knowledge Base Construction for Specific Domain Texts.
CLSW (2)
Zuntian Wei, Weiming Peng, Jihua Song, Shaodong Wang, Mengyu Zhao
2023 — conf
Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems.
Allerton
Mengyu Zhao, Shirin Jalali
2023 J jnl
Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems.
CoRR
Mengyu Zhao, Shirin Jalali
2023 J jnl
Virtual Reality Visual Perceptual Plastic Training Promotes Retinal Structure and Macular Function Recovery in Glaucoma Patients.
Cyberpsychology Behav. Soc. Netw.
Mengyu Zhao, Yan Lu, Mark D. Wiederhold, Brenda K. Wiederhold, Hang Chu, Li Yan
2021 J jnl
An efficient local search for large-scale set-union knapsack problem.
Data Technol. Appl.
Yupeng Zhou, Mengyu Zhao, Mingjie Fan, Yiyuan Wang, Jianan Wang
2021 A* conf
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem.
AAAI
Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin
2017 — conf
Energy Harvesting Time Coefficient Analyze for Cognitive Radio Sensor Network Using Game Theory.
HCC
Mengyu Zhao, Yifei Wei, Qiao Li, Mei Song, Ningning Liu