Contents

A Temporal Logic-Based Software Architecture Description Language XYZ/ADL ZHU Xue-Yang and TANG Zhi-Song 2003,14(4):713-720 [Abstract(5522)]  [View PDF(7772)620.00 K]

ABC: An Architecture Based, Component Oriented Approach to Software Development MEI Hong,CHEN Feng,FENG Yao-Dong and YANG Jie 2003,14(4):721-732 [Abstract(9468)]  [View PDF(10454)835.82 K]

An Agent Architecture Based on Situation Calculus LI Bin,Lü Jian and ZHU Wu-Jia 2003,14(4):733-742 [Abstract(4377)]  [View PDF(5938)813.54 K]

A Java-Oriented Distributed Program Testing System GU Qing,CHEN Dao-Xu,XIE Li and SUN Zhong-Xiu 2003,14(4):743-749 [Abstract(4339)]  [View PDF(5855)276.80 K]

An Approach of Model Checking UML Statecharts DONG Wei,WANG Ji and QI Zhi-Chang 2003,14(4):750-756 [Abstract(4371)]  [View PDF(6430)668.25 K]

A Workflow Instance Migration Approach Based on the Extended-Task-Structures ZHOU Ming-Tian,WANG Min-Yi and YAO Shao-Wen 2003,14(4):757-763 [Abstract(3817)]  [View PDF(4815)560.27 K]

Process Neural Network with Time-Varied Input and Output Functions and Its Applications HE Xin-Gui and XU Shao-Hua 2003,14(4):764-769 [Abstract(4135)]  [View PDF(6168)663.81 K]

Theory of Fuzzy Quotient Space (Methods of Fuzzy Granular Computing) ZHANG Ling and ZHANG Bo 2003,14(4):770-776 [Abstract(9191)]  [View PDF(9818)717.29 K]

Face Recognition Based on Singular Value Decomposition and Discriminant KL Projection ZHOU De-Long,GAO Wen and ZHAO De-Bin 2003,14(4):783-789 [Abstract(5393)]  [View PDF(7606)615.97 K]

Segmentation from Stratified Range Image WANG Jia-Ye,ZHANG Cai-Ming,YANG Xing-Qiang and LI Yue 2003,14(4):790-797 [Abstract(3913)]  [View PDF(5104)583.92 K]

An Intrusion Detection System Based on Support Vector Machine RAO Xian,DONG Chun-Xi and YANG Shao-Quan 2003,14(4):798-803 [Abstract(4786)]  [View PDF(8868)579.18 K]

Singular Points in Level Set Evolution and Revised Narrow Banding Algorithm YU Hong-Chuan,WANG De-Jun,TANG Ze-Sheng and TANG Long 2003,14(4):811-817 [Abstract(4457)]  [View PDF(5751)677.58 K]

A Dynamic Approach to Skeletonization CHE Wu-Jun,YANG Xun-Nian and WANG Guo-Zhao 2003,14(4):818-823 [Abstract(4177)]  [View PDF(6749)635.54 K]

Approximating to Nonparameterzied Minimal Surface with B-Spline Surface MAN Jia-Ju and WANG Guo-Zhao 2003,14(4):824-829 [Abstract(4527)]  [View PDF(6129)607.11 K]

Smooth Spline Surfaces over Arbitrary Topological Triangular Meshes FENG Ren-Zhong and WANG Ren-Hong 2003,14(4):830-837 [Abstract(4435)]  [View PDF(4704)686.63 K]

A Smoothing-Finite Element Method for Surface Reconstruction from Arbitrary Scattered Data CAI Zhong-Yi and LI Ming-Zhe 2003,14(4):838-844 [Abstract(3686)]  [View PDF(5174)1.02 M]

An Efficient Algorithm for Polygon Clipping LIU Yong-Kui,GAO Yun and HUANG You-Qun 2003,14(4):845-856 [Abstract(5331)]  [View PDF(9409)913.78 K]

Extraction and Analysis of Story Unit Based on Clustering of Hyper-Graph FAN Yun and WANG Run-Sheng 2003,14(4):857-863 [Abstract(4146)]  [View PDF(5394)662.46 K]

A Color Image Fractal Compression Coding Method JIAO Hua-Long and CHEN Gang 2003,14(4):864-868 [Abstract(4012)]  [View PDF(5765)575.01 K]

Review Articles

A Survey of Analysis Methods of Topological Relations Between Spatial Regions YU Qiang-Yuan,LIU Da-You and XIE Qi 2003,14(4):777-782 [Abstract(7677)]  [View PDF(8377)566.75 K]

Development and Prospect on Realistic Facial Modeling XU Lin,YUAN Bao-Zong and GAO Wen 2003,14(4):804-810 [Abstract(7425)]  [View PDF(9166)585.35 K]