Contents

A Temporal Logic-Based Software Architecture Description Language XYZ/ADL ZHU Xue-Yang and TANG Zhi-Song 2003,14(4):713-720 [Abstract(5498)]  [View PDF(7715)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(9452)]  [View PDF(10363)835.82 K]

An Agent Architecture Based on Situation Calculus LI Bin,Lü Jian and ZHU Wu-Jia 2003,14(4):733-742 [Abstract(4361)]  [View PDF(5886)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(4326)]  [View PDF(5790)276.80 K]

An Approach of Model Checking UML Statecharts DONG Wei,WANG Ji and QI Zhi-Chang 2003,14(4):750-756 [Abstract(4357)]  [View PDF(6367)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(3807)]  [View PDF(4767)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(4120)]  [View PDF(6079)663.81 K]

Theory of Fuzzy Quotient Space (Methods of Fuzzy Granular Computing) ZHANG Ling and ZHANG Bo 2003,14(4):770-776 [Abstract(9174)]  [View PDF(9741)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(5381)]  [View PDF(7549)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(3900)]  [View PDF(5048)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(4773)]  [View PDF(8781)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(4443)]  [View PDF(5687)677.58 K]

A Dynamic Approach to Skeletonization CHE Wu-Jun,YANG Xun-Nian and WANG Guo-Zhao 2003,14(4):818-823 [Abstract(4166)]  [View PDF(6681)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(4509)]  [View PDF(6062)607.11 K]

Smooth Spline Surfaces over Arbitrary Topological Triangular Meshes FENG Ren-Zhong and WANG Ren-Hong 2003,14(4):830-837 [Abstract(4430)]  [View PDF(4640)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(3679)]  [View PDF(5113)1.02 M]

An Efficient Algorithm for Polygon Clipping LIU Yong-Kui,GAO Yun and HUANG You-Qun 2003,14(4):845-856 [Abstract(5314)]  [View PDF(9328)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(4138)]  [View PDF(5341)662.46 K]

A Color Image Fractal Compression Coding Method JIAO Hua-Long and CHEN Gang 2003,14(4):864-868 [Abstract(4002)]  [View PDF(5712)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(7660)]  [View PDF(8200)566.75 K]

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