Contents

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

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

An Approach of Model Checking UML Statecharts DONG Wei,WANG Ji and QI Zhi-Chang 2003,14(4):750-756 [Abstract(4305)]  [View PDF(5775)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(3731)]  [View PDF(4230)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(4049)]  [View PDF(5349)663.81 K]

Theory of Fuzzy Quotient Space (Methods of Fuzzy Granular Computing) ZHANG Ling and ZHANG Bo 2003,14(4):770-776 [Abstract(9084)]  [View PDF(8782)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(5315)]  [View PDF(6880)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(3847)]  [View PDF(4518)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(4681)]  [View PDF(8000)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(4390)]  [View PDF(5100)677.58 K]

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

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

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

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

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