Lingzhong Zhao

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 23

Top Topics

Integer Program

Application Development

Top Venues

Int. J. Multim. Inf. Retr.

J. Parallel Distributed Comput.

Publications

Lingzhong Zhao, Fuliang Luo, Zhongyi Zhai, Junyan Qian, Hao Ding, Changye Li
MAIT: Multi-agent Local Observation Interaction to Improve the Decision-Making Ability. ICIC (2) (2024)
Hao Ding, Yanlong He, Zhongyi Zhai, Zhi Li, Junyan Qian, Lingzhong Zhao
Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Zhongyi Zhai, Jie Liang, Bo Cheng, Lingzhong Zhao, Junyan Qian
Strengthening attention: knowledge distillation via cross-layer feature fusion for image classification. Int. J. Multim. Inf. Retr. 13 (2) (2024)
Zhongyi Zhai, Xiaofeng Chen, Yishuang Huang, Lingzhong Zhao, Bo Cheng, Qian He
Joint multi-scale information and long-range dependence for video captioning. Int. J. Multim. Inf. Retr. 12 (2) (2023)
Zhongyi Zhai, Guibing Lai, Bo Cheng, Junyan Qian, Lingzhong Zhao, Jinsong Wu, Zhiguo Wan
Lightweight Secure Detection Service for Malicious Attacks in WSN With Timestamp-Based MAC. IEEE Trans. Netw. Serv. Manag. 19 (4) (2022)
Zhongyi Zhai, Peipei Liu, Lingzhong Zhao, Junyan Qian, Bo Cheng
An efficiency-enhanced deep learning model for citywide crowd flows prediction. Int. J. Mach. Learn. Cybern. 12 (7) (2021)
Hao Ding, Junyan Qian, Lingzhong Zhao, Zhongyi Zhai
A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. J. Parallel Distributed Comput. 158 (2021)
Junyan Qian, Fuhao Mo, Hao Ding, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai
An improved algorithm for accelerating reconfiguration of VLSI array. Integr. 79 (2021)
Hao Ding, Junyan Qian, Bisheng Huang, Lingzhong Zhao, Zhongyi Zhai
Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. J. Parallel Distributed Comput. 151 (2021)
Hao Ding, Junyan Qian, Lingzhong Zhao, Zhongyi Zhai
A mathematical programming method for constructing the shortest interconnection VLSI arrays. Integr. 81 (2021)
Zhongyi Zhai, Xiaofeng Chen, Yinduo Zhao, Lingzhong Zhao, Junyan Qian, Jinsong Wu
SmartCamera: Realtime Video Stream-Oriented Action Recognition Platform in Edge Environment. UbiComp/ISWC Adjunct (2021)
Junyan Qian, Bisheng Huang, Hao Ding, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai
An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray. Integr. 75 (2020)
Zhongyi Zhai, Ke Xiang, Lingzhong Zhao, Bo Cheng, Junyan Qian, Jinsong Wu
IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment. Sensors 20 (8) (2020)
Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai
Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (1) (2020)
Zhongyi Zhai, Ke Xiang, Lingzhong Zhao, Junyan Qian
MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users. ICAIS (1) (2020)
Zhongyi Zhai, Junyan Qian, Yuan Tao, Lingzhong Zhao, Bo Cheng
Poster: A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks. MobiCom (2018)
Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao
Improvement in JavaMOP by Simplifying Büchi Automaton. SETTA (2018)
Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao
A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting. IEEE Access 5 (2017)
Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu, Liang Chang
An integer programming method for constructing tightly coupled VLSI subarrays. IEICE Electron. Express 13 (11) (2016)
Junyan Qian, Zhide Zhou, Tianlong Gu, Lingzhong Zhao, Liang Chang
Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. IEEE Trans. Parallel Distributed Syst. 27 (12) (2016)
Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu
An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star. ICCSA (2) (2016)
Zhongyi Zhai, Bo Cheng, Yue Tian, Junliang Chen, Lingzhong Zhao, Meng Niu
A Data-Driven Service Creation Approach for End-Users. IEEE Access 4 (2016)
Junyan Qian, Guo-Qing Yao, Guang-Xi Chen, Lingzhong Zhao
Linearizability Proof of Stack Data. ICCSA (4) (2016)
Lingyun Situ, Lingzhong Zhao
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. APSEC (2015)
Yanqing Liu, Lingzhong Zhao, Junyan Qian
基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net). 计算机科学 42 (10) (2015)
Junyan Qian, Min Li, Lingzhong Zhao
Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction. ICCS (2012)
Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao
A Family of Dynamic Description Logics for Representing and Reasoning About Actions. J. Autom. Reason. 49 (1) (2012)
You Li, Yuming Lin, Lingzhong Zhao
A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model. CIS (2011)
Lingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu
Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. PRICAI (2010)
Lingzhong Zhao, Junyan Qian, Liang Chang, Guoyong Cai
Using ASP for knowledge management with user authorization. Data Knowl. Eng. 69 (8) (2010)
Xuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu
An ASP Based Solution to Mechanical Assembly Sequence Planning. WGEC (2009)
Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu
Automatic Construction of Complete Abstraction by Abstract Interpretation. ACIS-ICIS (2009)
Lingzhong Zhao, Weizhi Liao, Yili Fang, Junyan Qian, Congwen Zeng
An ASP based method for subassembly identification. ROBIO (2009)
Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu
Formula-Dependent Abstraction for CTL Model Checking. ICCSA (2) (2008)
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
Test frame updating in CPM testing of Prolog programs. Softw. Qual. J. 16 (2) (2008)
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. APLAS (2007)
Lingzhong Zhao, Tianlong Gu, Junyan Qian
Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. TASE (2007)
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. SEKE (2006)
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
A Base for Achieving Semantics for Prolog with Cut for Correct Observables. Software Engineering Research and Practice (2006)
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
On the New Application of Call Patterns to CPM Testing of Prolog Programs. Australian Conference on Artificial Intelligence (2006)
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
Designing Prolog Semantics for a Class of Observables. PRICAI (2006)