Lingzhong Zhao

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