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

The Least Fixpoint Transformation for Disjunctive Logic Programs
Wang Kewen, Chen Huowang, Wu Quanyuan
1998, 13(3): 193-201.
Abstract
Symmetric π-Calculus
Fu Yuxi
1998, 13(3): 202-208.
Abstract
Intuitive Minimal Abduction in Sequent Calculi
Yi Bo, Tao Xianping, G.Cioni, A.Colagrossi
1998, 13(3): 209-219.
Abstract
A Surface Rendering Approach in 3D Rectilinear Datafield
Li Bin, Liang Xundong, Liu Shenquan
1998, 13(3): 220-227.
Abstract
A Knowledge Representation Model for Video-Based Animation
Lao Zhiqiang, Pan Yunhe
1998, 13(3): 228-237.
Abstract
C~2-(C~3-) Continuous Interpolation Spline Curve and Surface
Fang Kui, Tan Jianrong, Zhu Guoqing
1998, 13(3): 238-245.
Abstract
Deformable Registration of Digital Images
Guan Weiguang, Xie Lin, Ma Songde
1998, 13(3): 246-260.
Abstract
A Traffic Partition Algorithm for Switched LANs and Its Performance Analysis
Ding Wei, Gong Jian, Yu Xiao
1998, 13(3): 261-267.
Abstract
An Efficient Multiple Predicate Learner
Zhang Xiaolong, Masayuki Numao
1998, 13(3): 268-278.
Abstract
Extract Rules by Using Rough Set and Knowledge-Based NN
Wang Shitong, E.Scottand, A.Gamermann
1998, 13(3): 279-284.
Abstract
Acoustic Simulation with Dynamic Mechanisms in Virtual Reality
Zhang Qiong, Shi Jiaoring
1998, 13(3): 285-288.
Abstract