Zongyuan Yang

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 22

Top Topics

Markov Decision Process

Theoretical And Practical Aspects

Diffusion Models

Top Venues

Pattern Recognit.

Publications

Lu Wang, Xiantao Li, Zhanmin Zhou, Yuzhang Liu, Zongyuan Yang, Shitao Zhang, Chong Li
Disturbance Observation and Suppression in an Airborne Electro-Optical Stabilized Platform Based on a Generalized High-Order Extended State Observer. Sensors 24 (11) (2024)
Zongyuan Yang, Baolin Liu, Yongping Xiong, Guibin Wu
GDB: Gated Convolutions-based Document Binarization. Pattern Recognit. 146 (2024)
Zongyuan Yang, Baolin Liu, Yingde Song, Yongping Xiong, Lan Yi, Zhaohe Zhang, Xunbo Yu
DirectL: Efficient Radiance Fields Rendering for 3D Light Field Displays. CoRR (2024)
Zongyuan Yang, Baolin Liu, Yongping Xiong, Lan Yi, Guibin Wu, Xiaojun Tang, Ziqi Liu, Junjie Zhou, Xing Zhang
DocDiff: Document Enhancement via Residual Diffusion Models. ACM Multimedia (2023)
Zongyuan Yang, Yongping Xiong, Guibin Wu
GDB: Gated convolutions-based Document Binarization. CoRR (2023)
Xiaojun Tang, Junsong Fan, Chuanchen Luo, Zhaoxiang Zhang, Man Zhang, Zongyuan Yang
DDG-Net: Discriminability-Driven Graph Network for Weakly-supervised Temporal Action Localization. CoRR (2023)
Xiaojun Tang, Junsong Fan, Chuanchen Luo, Zhaoxiang Zhang, Man Zhang, Zongyuan Yang
DDG-Net: Discriminability-Driven Graph Network for Weakly-supervised Temporal Action Localization. ICCV (2023)
Baolin Liu, Zongyuan Yang, Pengfei Wang, Junjie Zhou, Ziqi Liu, Ziyi Song, Yan Liu, Yongping Xiong
TextDiff: Mask-Guided Residual Diffusion Models for Scene Text Image Super-Resolution. CoRR (2023)
Zongyuan Yang, Yongping Xiong, Guibin Wu
Document Binarization with Multi-Branch Gated Convolutional Generative Adversarial Networks. ICIP (2023)
Zongyuan Yang, Baolin Liu, Yongping Xiong, Lan Yi, Guibin Wu, Xiaojun Tang, Ziqi Liu, Junjie Zhou, Xing Zhang
DocDiff: Document Enhancement via Residual Diffusion Models. CoRR (2023)
Fanglei Sun, Qian Tao, Jun Yan, Jianqiao Hu, Zongyuan Yang
MRGAN: Multi-Criteria Relational GAN for Lyrics-Conditional Melody Generation. IJCNN (2022)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32 (2-3) (2020)
Feng Sheng, Huibiao Zhu, Zongyuan Yang
Towards the Mechanized Semantics and Refinement of UML Class Diagrams. APSEC (2019)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu
Verifying Static Aspects of UML models using Prolog (S). SEKE (2019)
Xu Guo, Zongyuan Yang
Continuous simulation abstraction refinement for Markov decision processes. ICSAI (2017)
Shuxin Liu, Manhua Liu, Zongyuan Yang
Sparse coding based orientation estimation for latent fingerprints. Pattern Recognit. 67 (2017)
Feng Sheng, Liang Dou, Zongyuan Yang
Mechanized semantics and refinement of UML-Statecharts. Frontiers Inf. Technol. Electron. Eng. 18 (11) (2017)
Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu
Model-Based Continuous Verification. APSEC (2016)
Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang
Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. 611 (2016)
Shuxin Liu, Manhua Liu, Zongyuan Yang
Latent fingerprint segmentation based on linear density. ICB (2016)
Xu Guo, Zongyuan Yang
On the use of probabilistic model checking for reliability evaluation. ICSAI (2016)
Chao Li, Liang Dou, Zongyuan Yang
A metamodeling level transformation from UML sequence diagrams to Coq. ICTCS (2014)
Tao Luo, Yajun She, Zongyuan Yang
A Novel Membrane Algorithm to Finding Global Shipping Route. BIC-TA (2014)
Liang Dou, Qiang Liu, Zongyuan Yang
A metamodeling approach for pattern specification and management. J. Zhejiang Univ. Sci. C 14 (10) (2013)
Liang Dou, Qiang Liu, Zongyuan Yang, Jinkui Xie
A Situation Calculus-based semantic framework for UML. ICCIT (2012)
Yujie Yan, Bitao Ma, Xuan Wang, Zongyuan Yang
Mobile Agent-Based Resource Allocation with Market-Oriented Approach in Sensor Networks. ICAIC (4) (2011)
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu
Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains. J. Softw. 5 (9) (2010)
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu
Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. J. Softw. 5 (7) (2010)
Shujun Zou, Kaiyu Wan, Zongyuan Yang
Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework. FCST (2010)
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu
Formal Model and Analysis of Sliding Window Protocol Based on NuSMV. J. Comput. 4 (6) (2009)
Tingting Wang, Jinkui Xie, Bei Jin, Zongyuan Yang
Combinatorial Auctions Based Network Resource Allocation Mechanism with High Welfare. FCST (2009)
Yefei Zhao, Zongyuan Yang, Jinkui Xie
Formal semantics of UML state diagram and automatic verification based on Kripke structure. CCECE (2009)
Dan Jin, Zongyuan Yang
Strategies of Modeling from VDM-SL to JML. ALPIT (2008)
Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang
A Context-Based Analysis of Intrusion Detection for Policy Violation. CIS (2007)
Tsong Yueh Chen, Dehao Huang, T. H. Tse, Zongyuan Yang
An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing. HICSS (2007)
Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang
Trustable Ad Hoc Networks of Agent Societies. SNPD (3) (2007)
Guoqing Xu, Zongyuan Yang, Haitao Huang
A basic model for components implementation of software architecture. ACM SIGSOFT Softw. Eng. Notes 29 (5) (2004)
Guoqing Xu, Zongyuan Yang, Haitao Huang
JCMP: Linking Architecture with Component Building. APSEC (2004)
Guoqing Xu, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu
JAOUT: Automated Generation of Aspect-Oriented Unit Test. APSEC (2004)