Chinese Journal of Computers
Latest Publications

TOTAL DOCUMENTS

1248
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By China Science Publishing & Media Ltd.

0254-4164
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design of Memristive Neural Network PID Controller

2014 ◽  
Vol 36 (12) ◽  
pp. 2577-2586 ◽  
Author(s):  
Si-Wei XIA ◽  
Shu-Kai DUAN ◽  
Li-Dan WANG ◽  
Xiao-Fang HU
Keyword(s):  
Neural Network ◽  
Pid Controller ◽  
Memristive Neural Network ◽  
Neural Network Pid

Web Service Compatibility Verification Based on Conflict Interactions

2014 ◽  
Vol 36 (12) ◽  
pp. 2479-2490
Author(s):  
Shuai GONG ◽  
Jin-Hua XIONG ◽  
Zhi-Yong LIU
Keyword(s):  
Web Service

Predicate Execution-Sequence Based Fault Localization Algorithm

2014 ◽  
Vol 36 (12) ◽  
pp. 2406-2419
Author(s):  
Wei LI ◽  
Zheng ZHENG ◽  
Peng HAO ◽  
Yi-Chao GAO ◽  
Pei-Feng RAO ◽  
...  
Keyword(s):  
Fault Localization ◽  
Localization Algorithm ◽  
Execution Sequence

Semantics of Fuzzy Propositional Multi-Dimension Three-Layer Logic

2014 ◽  
Vol 36 (11) ◽  
pp. 2283-2289
Author(s):  
Xing-Fang ZHANG ◽  
Guang-Wu MENG

Bounded Model Checking for Markov Decision Processes

2014 ◽  
Vol 36 (12) ◽  
pp. 2587-2600
Author(s):  
Cong-Hua ZHOU ◽  
Zhi-Hu XING ◽  
Zhi-Feng LIU ◽  
Chang-Da WANG
Keyword(s):  
Model Checking ◽  
Markov Decision Processes ◽  
Bounded Model Checking ◽  
Decision Processes ◽  
Markov Decision

A Robust Subspace Algorithm for Projective Reconstruction from Multiple Images

2014 ◽  
Vol 36 (12) ◽  
pp. 2560-2576
Author(s):  
Ji-Dong GUO ◽  
Xue-Qing LI ◽  
Cheng-Wei YANG
Keyword(s):  
Projective Reconstruction ◽  
Multiple Images ◽  
Subspace Algorithm

A Biobrick Inversion Cellular Computing Model for Satisfiability Problem

2014 ◽  
Vol 36 (12) ◽  
pp. 2537-2544 ◽  
Author(s):  
Mei CHEN ◽  
Xiang-Qun CHEN ◽  
Lu ZHANG ◽  
Jin Xu
Keyword(s):  
Satisfiability Problem ◽  
Computing Model ◽  
Cellular Computing

Time-Leverage Points Detection for Software Maintenance

2014 ◽  
Vol 36 (12) ◽  
pp. 2455-2467
Author(s):  
En-Yi TANG ◽  
Xuan-Dong LI
Keyword(s):  
Software Maintenance ◽  
Leverage Points
Load More ...
Sign in / Sign up

Export Citation Format

Share Document