default search action
Lingzhong Zhao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]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): 23 (2024) - [j19]Hao Ding
, Yanlong He, Zhongyi Zhai
Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4): 1023-1036 (2024) - [c20]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: 407-418 - 2023
- [j18]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): 37 (2023) - 2022
- [j17]Zhongyi Zhai
Lightweight Secure Detection Service for Malicious Attacks in WSN With Timestamp-Based MAC. IEEE Trans. Netw. Serv. Manag. 19(4): 5299-5311 (2022) - 2021
- [j16]Junyan Qian
An improved algorithm for accelerating reconfiguration of VLSI array. Integr. 79: 124-132 (2021) - [j15]Hao Ding
A mathematical programming method for constructing the shortest interconnection VLSI arrays. Integr. 81: 167-174 (2021) - [j14]Hao Ding
Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. J. Parallel Distributed Comput. 151: 1-12 (2021) - [j13]Hao Ding
A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. J. Parallel Distributed Comput. 158: 176-185 (2021) - [j12]Zhongyi Zhai
An efficiency-enhanced deep learning model for citywide crowd flows prediction. Int. J. Mach. Learn. Cybern. 12(7): 1879-1891 (2021) - [c19]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: 88-89 - 2020
- [j11]Junyan Qian, Bisheng Huang, Hao Ding
An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray. Integr. 75: 63-72 (2020) - [j10]Zhongyi Zhai
IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment. Sensors 20(8): 2294 (2020) - [j9]Junyan Qian
Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1): 267-271 (2020) - [c18]Zhongyi Zhai, Ke Xiang, Lingzhong Zhao, Junyan Qian:
MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users. ICAIS (1) 2020: 682-694
2010 – 2019
- 2018
- [c17]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: 735-737 - [c16]Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao:
Improvement in JavaMOP by Simplifying Büchi Automaton. SETTA 2018: 129-134 - 2017
- [j8]Junyan Qian
A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting. IEEE Access 5: 23912-23919 (2017) - 2016
- [j7]Zhongyi Zhai
A Data-Driven Service Creation Approach for End-Users. IEEE Access 4: 9923-9940 (2016) - [j6]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): 20160359 (2016) - [j5]Junyan Qian
Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. IEEE Trans. Parallel Distributed Syst. 27(12): 3575-3587 (2016) - [c15]Junyan Qian, Guo-Qing Yao, Guang-Xi Chen, Lingzhong Zhao:
Linearizability Proof of Stack Data. ICCSA (4) 2016: 277-288 - [c14]Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu:
An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star. ICCSA (2) 2016: 331-343 - 2015
- [j4]Yanqing Liu, Lingzhong Zhao, Junyan Qian:
基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net). 计算机科学 42(10): 244-250 (2015) - [c13]Lingyun Situ, Lingzhong Zhao:
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. APSEC 2015: 16-23 - 2012
- [j3]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): 1-52 (2012) - 2011
- [c12]You Li, Yuming Lin, Lingzhong Zhao:
A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model. CIS 2011: 171-175 - 2010
- [j2]Lingzhong Zhao, Junyan Qian
Using ASP for knowledge management with user authorization. Data Knowl. Eng. 69(8): 737-762 (2010) - [c11]Lingzhong Zhao, Xuesong Wang, Junyan Qian
Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. PRICAI 2010: 384-396
2000 – 2009
- 2009
- [c10]Junyan Qian
Automatic Construction of Complete Abstraction by Abstract Interpretation. ACIS-ICIS 2009: 927-932 - [c9]Lingzhong Zhao, Weizhi Liao, Yili Fang, Junyan Qian, Congwen Zeng:
An ASP based method for subassembly identification. ROBIO 2009: 1317-1322 - [c8]Xuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu:
An ASP Based Solution to Mechanical Assembly Sequence Planning. WGEC 2009: 205-208 - 2008
- [j1]Lingzhong Zhao, Tianlong Gu, Junyan Qian
Test frame updating in CPM testing of Prolog programs. Softw. Qual. J. 16(2): 277-298 (2008) - [c7]Junyan Qian
Formula-Dependent Abstraction for CTL Model Checking. ICCSA (2) 2008: 1035-1048 - 2007
- [c6]Lingzhong Zhao, Tianlong Gu, Junyan Qian
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. APLAS 2007: 105-121 - [c5]Lingzhong Zhao, Tianlong Gu, Junyan Qian
Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. TASE 2007: 261-272 - 2006
- [c4]Lingzhong Zhao, Tianlong Gu, Junyan Qian
On the New Application of Call Patterns to CPM Testing of Prolog Programs. Australian Conference on Artificial Intelligence 2006: 1265-1270 - [c3]Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai:
Designing Prolog Semantics for a Class of Observables. PRICAI 2006: 1052-1057 - [c2]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: 359-362 - [c1]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: 664-670
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: