Zongyuan Yang

According to our database, Zongyuan Yang authored at least 37 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

GDB: Gated Convolutions-based Document Binarization.

Zongyuan Yang, Baolin Liu, Yongping Xiong, Guibin Wu

Pattern Recognit., February, 2024

2023

TextDiff: Mask-Guided Residual Diffusion Models for Scene Text Image Super-Resolution.

Baolin Liu, Zongyuan Yang, Pengfei Wang, Junjie Zhou, Ziqi Liu, Ziyi Song, Yan Liu, Yongping Xiong

CoRR, 2023

DDG-Net: Discriminability-Driven Graph Network for Weakly-supervised Temporal Action Localization.

Xiaojun Tang, Junsong Fan, Chuanchen Luo, Zhaoxiang Zhang, Man Zhang, Zongyuan Yang

CoRR, 2023

GDB: Gated convolutions-based Document Binarization.

Zongyuan Yang, Yongping Xiong, Guibin Wu

CoRR, 2023

DocDiff: Document Enhancement via Residual Diffusion Models.

Zongyuan Yang, Baolin Liu, Yongping Xiong, Lan Yi, Guibin Wu, Xiaojun Tang, Ziqi Liu, Junjie Zhou, Xing Zhang

Proceedings of the 31st ACM International Conference on Multimedia, 2023

Document Binarization with Multi-Branch Gated Convolutional Generative Adversarial Networks.

Zongyuan Yang, Yongping Xiong, Guibin Wu

Proceedings of the IEEE International Conference on Image Processing, 2023

DDG-Net: Discriminability-Driven Graph Network for Weakly-supervised Temporal Action Localization.

Xiaojun Tang, Junsong Fan, Chuanchen Luo, Zhaoxiang Zhang, Man Zhang, Zongyuan Yang

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

2022

MRGAN: Multi-Criteria Relational GAN for Lyrics-Conditional Melody Generation.

Fanglei Sun, Qian Tao, Jun Yan, Jianqiao Hu, Zongyuan Yang

Proceedings of the International Joint Conference on Neural Networks, 2022

2020

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.

Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen

Formal Aspects Comput., 2020

2019

Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.

Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen

ACM Trans. Softw. Eng. Methodol., 2019

Verifying Static Aspects of UML models using Prolog (S).

Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Towards the Mechanized Semantics and Refinement of UML Class Diagrams.

Feng Sheng, Huibiao Zhu, Zongyuan Yang

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2017

Sparse coding based orientation estimation for latent fingerprints.

Shuxin Liu, Manhua Liu, Zongyuan Yang

Pattern Recognit., 2017

Mechanized semantics and refinement of UML-Statecharts.

Feng Sheng, Liang Dou, Zongyuan Yang

Frontiers Inf. Technol. Electron. Eng., 2017

Continuous simulation abstraction refinement for Markov decision processes.

Xu Guo, Zongyuan Yang

Proceedings of the 4th International Conference on Systems and Informatics, 2017

2016

Multiphase until formulas over Markov reward models: An algebraic approach.

Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang

Theor. Comput. Sci., 2016

On the use of probabilistic model checking for reliability evaluation.

Xu Guo, Zongyuan Yang

Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Latent fingerprint segmentation based on linear density.

Shuxin Liu, Manhua Liu, Zongyuan Yang

Proceedings of the International Conference on Biometrics, 2016

Model-Based Continuous Verification.

Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2014

A metamodeling level transformation from UML sequence diagrams to Coq.

Chao Li, Liang Dou, Zongyuan Yang

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

A Novel Membrane Algorithm to Finding Global Shipping Route.

Tao Luo, Yajun She, Zongyuan Yang

Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013

A metamodeling approach for pattern specification and management.

Liang Dou, Qiang Liu, Zongyuan Yang

J. Zhejiang Univ. Sci. C, 2013

2012

A Situation Calculus-based semantic framework for UML.

Liang Dou, Qiang Liu, Zongyuan Yang, Jinkui Xie

Proceedings of the International Conference on Communications and Information Technology, 2012

2011

Mobile Agent-Based Resource Allocation with Market-Oriented Approach in Sensor Networks.

Yujie Yan, Bitao Ma, Xuan Wang, Zongyuan Yang

Proceedings of the Applied Informatics and Communication - International Conference, 2011

2010

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains.

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu

J. Softw., 2010

Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu

J. Softw., 2010

Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework.

Shujun Zou, Kaiyu Wan, Zongyuan Yang

Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

2009

Formal Model and Analysis of Sliding Window Protocol Based on NuSMV.

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu

J. Comput., 2009

Combinatorial Auctions Based Network Resource Allocation Mechanism with High Welfare.

Tingting Wang, Jinkui Xie, Bei Jin, Zongyuan Yang

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Formal semantics of UML state diagram and automatic verification based on Kripke structure.

Yefei Zhao, Zongyuan Yang, Jinkui Xie

Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, 2009

2008

Strategies of Modeling from VDM-SL to JML.

Dan Jin, Zongyuan Yang

Proceedings of the ALPIT 2008, 2008

2007

Trustable Ad Hoc Networks of Agent Societies.

Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.

Tsong Yueh Chen, Dehao Huang, T. H. Tse, Zongyuan Yang

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

A Context-Based Analysis of Intrusion Detection for Policy Violation.

Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang

Proceedings of the Computational Intelligence and Security, International Conference, 2007

2004

A basic model for components implementation of software architecture.

Guoqing Xu, Zongyuan Yang, Haitao Huang

ACM SIGSOFT Softw. Eng. Notes, 2004

JAOUT: Automated Generation of Aspect-Oriented Unit Test.

Guoqing Xu, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

JCMP: Linking Architecture with Component Building.

Guoqing Xu, Zongyuan Yang, Haitao Huang

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004