Communications in Computer and Information Science - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 13)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Singapore

9789811618765, 9789811618772

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algorithm Design Through the Optimization of Reuse-Based Generation

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_2 ◽

2021 ◽

pp. 14-32

Author(s):

Haipeng Shi ◽

Haihe Shi ◽

Shenghua Xu

Keyword(s):

Algorithm Design

Download Full-text

Semi-online Algorithms for Hierarchical Scheduling on Three Parallel Machines with a Buffer Size of 1

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_4 ◽

2021 ◽

pp. 47-56

Author(s):

Man Xiao ◽

Lu Ding ◽

Shu Zhao ◽

Weidong Li

Keyword(s):

Online Algorithms ◽

Parallel Machines ◽

Buffer Size ◽

Hierarchical Scheduling

Download Full-text

Late Fusion Multi-view Clustering with Learned Consensus Similarity Matrix

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_6 ◽

2021 ◽

pp. 73-86

Author(s):

Dan Liu ◽

Weixuan Liang ◽

Hongya Zhang ◽

Wentao Zhao ◽

Kaifan Hu

Keyword(s):

Similarity Matrix ◽

Download Full-text

A Survey on the Classic Active Measurement Methods for IPv6

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_11 ◽

2021 ◽

pp. 149-171

Author(s):

Yipeng Wang ◽

Tongqing Zhou ◽

Changsheng Hou ◽

Bingnan Hou ◽

Zhiping Cai

Keyword(s):

Measurement Methods ◽

Active Measurement

Download Full-text

Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_1 ◽

2021 ◽

pp. 3-13

Author(s):

Jianmin Zhang ◽

Tiejun Li ◽

Kefan Ma

Keyword(s):

Predicate Abstraction

Download Full-text

Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_7 ◽

2021 ◽

pp. 87-104

Author(s):

Jiang Liu ◽

Jin Wang

Keyword(s):

Linear Systems ◽

Iterative Methods ◽

Parallel Implementation ◽

Sparse Linear Systems ◽

Minimal Residual

Download Full-text

Deriving Security Protocols Based on Protocol Derivation System

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_12 ◽

2021 ◽

pp. 172-184

Author(s):

Ke Yang ◽

Meihua Xiao ◽

Zifan Song ◽

Ri Ouyang

Keyword(s):

Security Protocols

Download Full-text

An Improved Firefly Algorithm for Software Defect Prediction

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_3 ◽

2021 ◽

pp. 33-46

Author(s):

Lianglin Cao ◽

Kerong Ben ◽

Hu Peng ◽

Xian Zhang ◽

Feipeng Wang

Keyword(s):

Firefly Algorithm ◽

Defect Prediction ◽

Software Defect Prediction ◽

Software Defect ◽

Improved Firefly Algorithm

Download Full-text

GDAssister: Graphic Design Assistant System with Optimal Algorithm of Associated Rule Mining

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_5 ◽

2021 ◽

pp. 57-69

Author(s):

Dongyi Zheng ◽

Haotian Wang ◽

Panyu Liu ◽

Fang Liu ◽

Nong Xiao

Keyword(s):

Graphic Design ◽

Optimal Algorithm ◽

Download Full-text

Head Detection Method for Indoor Scene

Communications in Computer and Information Science - Theoretical Computer Science ◽

10.1007/978-981-16-1877-2_10 ◽

2021 ◽

pp. 139-146

Author(s):

Zhi Li ◽

Yong Li ◽

Xipeng Wang

Keyword(s):

Detection Method ◽

Indoor Scene ◽

Download Full-text