We use cookies to improve your experience with our site.
Advanced Search

An Interactive Learning Algorithm for Acquisition of Concepts Represented as CFL
Dong Yunmei
1998, 13(1): 1-8.
Abstract
A Hopeful CNF-SAT─Algorithm Its High Efficiency, Industrial Application and Limitation
Huang Wenqi, Li Wei
1998, 13(1): 9-12.
Abstract
Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language
Zhang Tong
1998, 13(1): 13-17.
Abstract
Reduction of Cycle Unification of Type Cpg+r
Hu Yunfa, Wolfgang Bibel
1998, 13(1): 18-24.
Abstract
Completeness of the Accumulation Calculus
Yu Huiqun, Song Guoxin, Sun Yongqiang
1998, 13(1): 25-31.
Abstract
Document Analysis by Crosscount Approach
Wang Haiqin, Dai Ruwei
1998, 13(1): 32-40.
Abstract
Multiplicative Inhibitory Velocity Detector and Multi-Velocity Motion Detection Neural Network Model
Wang Aiqun, Zheng Nanning
1998, 13(1): 41-54.
Abstract
Segmentation of Stick Text Based on Sub Connected Area Analysis
Gao Jingbo, Li Xinyou, Tang Zesheng
1998, 13(1): 55-62.
Abstract
A Type of Triangular Ball Surface and its Properties
Hu Shimin, Wang Guojin, Sun Jiaguang
1998, 13(1): 63-72.
Abstract
Line-Art and its Mathematical Models
Xu Yingqing, Hans Dehlinger, Qi Dongxu, Liu Shenquan
1998, 13(1): 73-78.
Abstract
A Formal Approach to Protocol Interoperability Testing
Hao Ruibing, Wu Jianping
1998, 13(1): 79-90.
Abstract
A Topology Designing System for a Computer Network
Hou Zhengfeng
1998, 13(1): 91-96.
Abstract