Qingliang Chen

According to our database, Qingliang Chen authored at least 58 papers between 2005 and 2024.

Collaborative distances:

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

2024

A novel approach for tool condition monitoring based on transfer learning of deep neural networks using time-frequency images.

Yao Li, Zhengcai Zhao, Yucan Fu, Qingliang Chen

J. Intell. Manuf., March, 2024

NubbleDrop: A Simple Way to Improve Matching Strategy for Prompted One-Shot Segmentation.

Zhiyu Xu, Qingliang Chen

CoRR, 2024

Glass Segmentation with Multi Scales and Primary Prediction Guiding.

Zhiyu Xu, Qingliang Chen

CoRR, 2024

TARGET: Template-Transferable Backdoor Attack Against Prompt-Based NLP Models via GPT4.

Zihao Tan, Qingliang Chen, Yongjian Huang, Chen Liang

Proceedings of the Natural Language Processing and Chinese Computing, 2024

CLCT-GAN: Strong-Weak Contrastive Learning for Reconstructing CT Images from Radiographs.

Shuangqin Cheng, Yumao Hong, Qingliang Chen, Jinshun Guo, Ming Li, Qiyi Zhang

Proceedings of the International Joint Conference on Neural Networks, 2024

2023

SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks.

Shuangqin Cheng, Qingliang Chen, Qiyi Zhang, Ming Li, Yamuhanmode Alike, Kaile Su, Pengcheng Wen

CoRR, 2023

COVER: A Heuristic Greedy Adversarial Attack on Prompt-Based Learning in Language Models.

Zihao Tan, Qingliang Chen, Wenbin Zhu, Yongjian Huang

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Prior-Enhanced Network for Image-Based PM2.5 Estimation from Imbalanced Data Distribution.

Xueqing Fang, Zhan Li, Bin Yuan, Xinrui Wang, Zekai Jiang, Jianliang Zeng, Qingliang Chen

Proceedings of the Neural Information Processing - 30th International Conference, 2023

Evaluating nnU-Net for Type B Aortic Dissection segmentation on CTA images.

Yicun Li, Chengzhi Gui, Xin Li, Tongyun Chen, Xiquan Song, Qingliang Chen, Xingwei An

Proceedings of the 10th International Conference on Biomedical and Bioinformatics Engineering, 2023

2022

Pruning Adapters with Lottery Ticket.

Jiarun Wu, Qingliang Chen

Algorithms, 2022

Domain-Level Pairwise Semantic Interaction for Aspect-Based Sentiment Classification.

Zhenxin Wu, Jiazheng Gong, Kecen Guo, Guanye Liang, Qingliang Chen, Bo Liu

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2022

Pruning Adatperfusion with Lottery Ticket Hypothesis.

Jiarun Wu, Qingliang Chen, Zeguan Xiao, Yuliang Gu, Mengsi Sun

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2022, 2022

Analysis of Aerosol Monitoring Data of Four Cities in Shandong Province.

Weijia Sun, Qian Zhang, Haitao Guo, Qingliang Chen, Juxiu Wu, Yujie Zhang, Xueyin An, Chuancheng Ma, Hengchang Li

Proceedings of the Asia Conference on Algorithms, Computing and Machine Learning, 2022

Progressive Multi-stage Interactive Training in Mobile Network for Fine-grained Classification.

Zhenxin Wu, Qingliang Chen, Yongjian Huang

Proceedings of the 33rd British Machine Vision Conference 2022, 2022

Generalized Linear Integer Numeric Planning.

Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, Kaile Su

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Progressive Multi-stage Interactive Training in Mobile Network for Fine-grained Recognition.

Zhenxin Wu, Qingliang Chen, Yifeng Liu, Yinqi Zhang, Chengkai Zhu, Yang Yu

CoRR, 2021

BERT4GCN: Using BERT Intermediate Layers to Augment GCN for Aspect-based Sentiment Classification.

Zeguan Xiao, Jiarun Wu, Qingliang Chen, Congjian Deng

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

2020

Dropout with Tabu Strategy for Regularizing Deep Neural Networks.

Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su

Comput. J., 2020

A New Click-Through Rates Prediction Model Based on Deep&Cross Network.

Guojing Huang, Qingliang Chen, Congjian Deng

Algorithms, 2020

Multi-Scale Convolutional Features Network for Semantic Segmentation in Indoor Scenes.

Yanran Wang, Qingliang Chen, Shilang Chen, Junjun Wu

IEEE Access, 2020

Fast Plant Leaf Recognition Using Improved Multiscale Triangle Representation and KNN for Optimization.

Jianyu Su, Meihua Wang, Zhenxin Wu, Qingliang Chen

IEEE Access, 2020

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.

Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Sequential Convolution and Runge-Kutta Residual Architecture for Image Compressed Sensing.

Runkai Zheng, Yinqi Zhang, Daolang Huang, Qingliang Chen

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Principles and practice of multi-agent systems.

Qingliang Chen, Paolo Torroni, Serena Villata

Knowl. Eng. Rev., 2019

面向复杂环境的图像语义分割方法综述 (Research on Image Semantic Segmentation for Complex Environments).

Yanran Wang, Qingliang Chen, Junjun Wu

计算机科学, 2019

A Partially Pre-Trained Dense Network for Image Super-Resolution.

Yiwei Zhang, Peng Liu, Qingliang Chen, Yunfeng Guo, Jianxing Liang, Hong Yin, Xiaobing Feng

Proceedings of the 6th International Conference on Systems and Informatics, 2019

Cascade Wide Activation Multi-Scale Networks for Single Image Super-Resolution.

Yiwei Zhang, He Huang, Qingliang Chen, Xu Zhang, Jianxing Liang, Hong Yin, Xiaobing Feng, Shasha Wang

Proceedings of the 6th International Conference on Systems and Informatics, 2019

Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions.

Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Preface.

Qingliang Chen, Paolo Torroni, Serena Villata

Fundam. Informaticae, 2018

Symbolic model checking for discrete real-time systems.

Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen

Sci. China Inf. Sci., 2018

A Novel Stochastic Stratified Average Gradient Method: Convergence Rate and Its Complexity.

Aixiang Andy Chen, Xiaolong Chai, Bingchuan Chen, Rui Bian, Qingliang Chen

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2017

Visual Three-Dimensional Reconstruction of Aortic Dissection Based on Medical CT Images.

Xiaojie Duan, Dandan Chen, Jianming Wang, Meichen Shi, Qingliang Chen, He Zhao, Ruixue Zuo, Xiuyan Li, Qi Wang

Int. J. Digit. Multim. Broadcast., 2017

Quantified Coalition Logic of Knowledge, Belief and Certainty.

Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar

Proceedings of the Advances in Artificial Intelligence, 2017

2016

A first-order coalition logic for BDI-agents.

Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen

Frontiers Comput. Sci., 2016

Normative Multiagent Systems: The Dynamic Generalization.

Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Reconfigurability in Reactive Multiagent Systems.

Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Strengthening Agents Strategic Ability with Communication.

Xiaowei Huang, Qingliang Chen, Kaile Su

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A complete coalition logic of temporal knowledge for multi-agent systems.

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu

Frontiers Comput. Sci., 2015

The Complexity of Model Checking Succinct Multiagent Systems.

Xiaowei Huang, Qingliang Chen, Kaile Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

A Time-Based Pre-distribution Shared Key Pool Design.

Linfeng Wei, Caiting Huang, Guoxiang Yao, Meixiu Zhou, Qingliang Chen

J. Comput., 2014

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.

Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu

Proceedings of the Advances in Artificial Intelligence, 2014

2012

A complete first-order temporal BDI logic for forest multi-agent systems.

Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu

Knowl. Based Syst., 2012

A Succinct and Efficient Implementation of a 2^32 BDD Package.

Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2010

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model.

Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao

Proceedings of the International Conference on Service Sciences, 2010

EWLS: A New Local Search for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Qingliang Chen

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.

Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen

Proceedings of the Advances in Artificial Intelligence, 2009

2008

Improving Encoding Efficiency for Bounded Model Checking.

Jinji Yang, Kaile Su, Qingliang Chen

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

Primitive recursive real numbers.

Qingliang Chen, Kaile Su, Xizhong Zheng

Math. Log. Q., 2007

Semantic interpretation of compositional logic in instantiation space.

Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin

Frontiers Comput. Sci. China, 2007

A PSO-Based Approach to Rule Learning in Network Intrusion Detection.

Guolong Chen, Qingliang Chen, Wenzhong Guo

Proceedings of the Fuzzy Information and Engineering, 2007

2006

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.

Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng

J. Comput. Sci. Technol., 2006

Primitive Recursiveness of Real Numbers under Different Representations.

Qingliang Chen, Kaile Su, Xizhong Zheng

Proceedings of the Third International Conference on Computability and Complexity in Analysis, 2006

2005

Knowledge structure approach to verification of authentication protocols.

Kaile Su, Guanfeng Lv, Qingliang Chen

Sci. China Ser. F Inf. Sci., 2005

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.

Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen

Proceedings of the Internet and Network Economics, First International Workshop, 2005

Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.

Lijun Wu, Kaile Su, Qingliang Chen

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

A computationally grounded logic of knowledge, belief and certainty.

Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Bounded model checking knowledge and branching time in synchronous multi-agent systems.

Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005