Volume 14,Issue 4,2003 Table of Contents

Other Issues:  
  
Contents

  • A Temporal Logic-Based Software Architecture Description Language XYZ/ADL
  • ZHU Xue-Yang and TANG Zhi-Song
  • 2003,14(4):713-720 [Abstract(3650)]  [View PDF(4597)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(6453)]  [View PDF(5949)835.82 K]
  • An Agent Architecture Based on Situation Calculus
  • LI Bin,Lü Jian and ZHU Wu-Jia
  • 2003,14(4):733-742 [Abstract(3167)]  [View PDF(3355)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(3122)]  [View PDF(3189)276.80 K]
  • An Approach of Model Checking UML Statecharts
  • DONG Wei,WANG Ji and QI Zhi-Chang
  • 2003,14(4):750-756 [Abstract(3152)]  [View PDF(3879)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(2614)]  [View PDF(2744)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(2965)]  [View PDF(3498)663.81 K]
  • Theory of Fuzzy Quotient Space (Methods of Fuzzy Granular Computing)
  • ZHANG Ling and ZHANG Bo
  • 2003,14(4):770-776 [Abstract(6941)]  [View PDF(5895)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(3895)]  [View PDF(4589)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(2776)]  [View PDF(2946)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(3371)]  [View PDF(5381)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(3244)]  [View PDF(3246)677.58 K]
  • A Dynamic Approach to Skeletonization
  • CHE Wu-Jun,YANG Xun-Nian and WANG Guo-Zhao
  • 2003,14(4):818-823 [Abstract(2912)]  [View PDF(3721)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(3220)]  [View PDF(3215)607.11 K]
  • Smooth Spline Surfaces over Arbitrary Topological Triangular Meshes
  • FENG Ren-Zhong and WANG Ren-Hong
  • 2003,14(4):830-837 [Abstract(3271)]  [View PDF(2619)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(2534)]  [View PDF(2679)1.02 M]
  • An Efficient Algorithm for Polygon Clipping
  • LIU Yong-Kui,GAO Yun and HUANG You-Qun
  • 2003,14(4):845-856 [Abstract(3869)]  [View PDF(5688)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(2923)]  [View PDF(2980)662.46 K]
  • A Color Image Fractal Compression Coding Method
  • JIAO Hua-Long and CHEN Gang
  • 2003,14(4):864-868 [Abstract(2854)]  [View PDF(3469)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(5758)]  [View PDF(4051)566.75 K]
  • Development and Prospect on Realistic Facial Modeling
  • XU Lin,YUAN Bao-Zong and GAO Wen
  • 2003,14(4):804-810 [Abstract(5606)]  [View PDF(5032)585.35 K]