Academic Journal of Computing & Information Science
ISSN: 2616-5775 (Print)
A Survey on Formal Specification and Verification of System-Level Achievements in Industrial Circles
Feng Zhang, Wensheng Niu
Abstract | References | PDF | HTML | Pub. Date: Apr 8, 2019
DOI: 10.25236/AJCIS.010015 | Downloads: 23 | Views: 335
Application of Beidou Navigation System in Middle School Geography Education
Xuan Zhou1, 2, Yong Zhang1, 2, *, Xin Zhou1, 2, Jianglou Deng1, 2 and Yunbo Xiang1, 3
Abstract | References | PDF | HTML | Pub. Date: Apr 8, 2019
DOI: 10.25236/AJCIS.010014 | Downloads: 16 | Views: 239
A Two-Stage Fast Mode Decision Algorithm for Intra Prediction in HEVC
Shihua Xi*, Min Shi
Abstract | References | PDF | HTML | Pub. Date: Apr 8, 2019
DOI: 10.25236/AJCIS.010013 | Downloads: 132 | Views: 378
Research on Data Storage of Archives Information Resource Sharing Platform
XianJie Bian, Xiaomei Lu
Abstract | References | PDF | HTML | Pub. Date: Dec 29, 2018
DOI: 10.25236/AJCIS.010012 | Downloads: 45 | Views: 401
Binbin Li
Abstract | References | PDF | HTML | Pub. Date: Dec 26, 2018
DOI: 10.25236/AJCIS.010011 | Downloads: 17 | Views: 390
Design and Research of Crime Analysis and Early Warning System
Dong CAI
Abstract | References | PDF | HTML | Pub. Date: Dec 21, 2018
DOI: 10.25236/AJCIS.010010 | Downloads: 15 | Views: 407
Calculation of Hydraulic System of Movable Rigid Barrier Crawler Track
Wang Huaiyu, Song Jianfeng
Abstract | References | PDF | HTML | Pub. Date: Dec 20, 2018
DOI: 10.25236/AJCIS.010009 | Downloads: 17 | Views: 374
Analysis of Intensive Learning and Supervised Learning
Qiu Jing
Abstract | References | PDF | HTML | Pub. Date: Dec 19, 2018
DOI: 10.25236/AJCIS.010008 | Downloads: 19 | Views: 351
Research on Key Technologies of Multi-Computer Cooperative Virtual Training System Development
Xuping Wang, Chengwei Jiang and Xingwu Kang
Abstract | References | PDF | HTML | Pub. Date: Dec 17, 2018
DOI: 10.25236/AJCIS.010007 | Downloads: 13 | Views: 389
Improvement of Algebraic Models of Abstract Pipelines for Formal Verification
Feng Zhang, Wensheng Niu
Abstract | References | PDF | HTML | Pub. Date: Dec 3, 2018
DOI: 10.25236/AJCIS.010006 | Downloads: 10 | Views: 364
The Investigation of Application of Machine Learning into Multi-Level Network Load Forecasting
Yang Haolin
Abstract | References | PDF | HTML | Pub. Date: Nov 14, 2018
DOI: 10.25236/AJCIS.010005 | Downloads: 16 | Views: 445
Analysis of Massive Unstructured Data Model Based on Clustering Algorithm
Yuxiang Cai, Lijun Cai, Ting Fu,Yong Ye, Sheng Zhou
Abstract | References | PDF | HTML | Pub. Date: Nov 13, 2018
DOI: 10.25236/AJCIS.010004 | Downloads: 15 | Views: 486
Simulation Research of Manipulator Control System Based on Solidworks and Simmechanics
Yingjie Tang, Xinwen Li
Abstract | References | PDF | HTML | Pub. Date: Oct 29, 2018
DOI: 10.25236/AJCIS.010003 | Downloads: 30 | Views: 519
Segmentation of Corn Leaf Disease Based on Fully Convolution Neural Network
Zhen Wang, Shanwen Zhang
Abstract | References | PDF | HTML | Pub. Date: Oct 22, 2018
DOI: 10.25236/AJCIS.010002 | Downloads: 29 | Views: 590
Research on automatic coronary artery extraction algorithm based on CTA image and model guidance
Xinlei Chen1, Wei Zhong1 and Xiaogang Ren2
Abstract | References | PDF | HTML | Pub. Date: Sep 27, 2018
DOI: 10.25236/AJCIS.010001 | Downloads: 31 | Views: 578