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: 75 | Views: 2196
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: 57 | Views: 2018
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: 163 | Views: 1948
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: 85 | Views: 2082
Binbin Li
Abstract | References | PDF | HTML | Pub. Date: Dec 26, 2018
DOI: 10.25236/AJCIS.010011 | Downloads: 47 | Views: 2317
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: 52 | Views: 2002
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: 43 | Views: 1960
Analysis of Intensive Learning and Supervised Learning
Qiu Jing
Abstract | References | PDF | HTML | Pub. Date: Dec 19, 2018
DOI: 10.25236/AJCIS.010008 | Downloads: 86 | Views: 1986
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: 49 | Views: 2382
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: 35 | Views: 2027
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: 52 | Views: 2107
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: 51 | Views: 2201
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: 99 | Views: 2628
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: 123 | Views: 3018
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: 63 | Views: 2353