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

Optimal Algorithm for Algebraic Factoring
Zhi Lihong
1997, 12(1): 1-9.
Abstract
Mechanical Geometry Theorem Proving Based on Groebner Bases
Wu Jinzhao
1997, 12(1): 10-16.
Abstract
R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance
Shen Ningchuan, Li Wei
1997, 12(1): 17-28.
Abstract
Implementation of GAMMA on a Massively Parallel Computer
Huang Linpeng, Tong Weiqin, Kam Wing Ng, Sun Yongqiang
1997, 12(1): 29-39.
Abstract
RaRb Transformation of Compound Finite Automata over Commutative Rings
Whng Hao
1997, 12(1): 40-48.
Abstract
Performance Prediction of the Hough Transform
Hu Zhanyi, Ma Songde
1997, 12(1): 49-57.
Abstract
Existence and Uniqueness in Shape from Shading
Deng Yanping, Li Jiegu
1997, 12(1): 58-64.
Abstract
An Approach to User Interface Specification with Attribute Grammars
Hua Qingyi
1997, 12(1): 65-75.
Abstract
Neural Network Methods for NURBS Curve and Surface Interpolation
Qin Kaihuai
1997, 12(1): 76-89.
Abstract
Parsing with Dynamic Rule Selection
Zong Chengqing, Chen Zhaoxiong, Huang Heyan
1997, 12(1): 90-96.
Abstract