An interactive learning algorithm for acquisition of concepts represented as CFL Dong Yunmei OriginalPaper Pages: 1 - 8
A hopeful CNF-SAT algorithm— Its high efficiency, industrial application and limitation Huang WenqiLi Wei OriginalPaper Pages: 9 - 12
Intuitionistic logic as the implement of incremental model construction for natural language Zhang Tong OriginalPaper Pages: 13 - 17
Completeness of the accumulation calculus Yu HuiqunSong GuoxinSun Yongqiang OriginalPaper Pages: 25 - 31
Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model Wang AiqunZheng Nanning OriginalPaper Pages: 41 - 54
Segmentation of stick text based on sub connected area analysis Gao JingboLi XinyouTang Zesheng OriginalPaper Pages: 55 - 62
A type of triangular ball surface and its properties Hu ShiminWang GuojinSun Jianguang OriginalPaper Pages: 63 - 72
Line-art and its mathematical models Xu YingqingHans DehlingerLiu Shenquan OriginalPaper Pages: 73 - 78
A formal approach to protocol interoperability testing Hao RuibingWu Jianping OriginalPaper Pages: 79 - 90