


default search action
38th NCTCS 2020: Nanning, China
- Kun He

, Cheng Zhong
, Zhiping Cai
, Yitong Yin
:
Theoretical Computer Science - 38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020, Revised Selected Papers. Communications in Computer and Information Science 1352, Springer 2021, ISBN 978-981-16-1876-5
Algorithm and Complexity
- Jianmin Zhang, Tiejun Li, Kefan Ma:

Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction. 3-13 - Haipeng Shi, Haihe Shi, Shenghua Xu:

Algorithm Design Through the Optimization of Reuse-Based Generation. 14-32 - Lianglin Cao

, Kerong Ben
, Hu Peng
, Xian Zhang
, Feipeng Wang
:
An Improved Firefly Algorithm for Software Defect Prediction. 33-46 - Man Xiao, Lu Ding, Shu Zhao, Weidong Li

:
Semi-online Algorithms for Hierarchical Scheduling on Three Parallel Machines with a Buffer Size of 1. 47-56 - Dongyi Zheng, Haotian Wang, Panyu Liu, Fang Liu, Nong Xiao:

GDAssister: Graphic Design Assistant System with Optimal Algorithm of Associated Rule Mining. 57-69
Matrix Computation
- Dan Liu, Weixuan Liang, Hongya Zhang, Wentao Zhao, Kaifan Hu:

Late Fusion Multi-view Clustering with Learned Consensus Similarity Matrix. 73-86 - Jiang Liu, Jin Wang:

Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems. 87-104
Deep Learning
- Rongkun Zhang, Dan Liu, Wentao Zhao, Qiang Liu, Chengzhang Zhu:

A Simple yet Effective Unsupervised Adversarial Example Generation Framework for Vulnerability Assessment on Deep Learning. 107-122 - Rui Luo, Shan Zhao, Zhiping Cai:

Application of Graph Neural Network in Automatic Text Summarization. 123-138 - Zhi Li, Yong Li, Xipeng Wang:

Head Detection Method for Indoor Scene. 139-146
Network Communication and Security
- Yipeng Wang, Tongqing Zhou, Changsheng Hou, Bingnan Hou, Zhiping Cai:

A Survey on the Classic Active Measurement Methods for IPv6. 149-171 - Ke Yang

, Meihua Xiao
, Zifan Song
, Ri Ouyang
:
Deriving Security Protocols Based on Protocol Derivation System. 172-184 - Qi Fu, Kunhao Shang, Fei Wang, Bing Ba, Yiping Wen:

An Offloading Strategy Based on RSU Cooperation for Vehicular Edge Computing System. 185-200

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














