Volume 14,Issue 12,2003 Table of Contents

Other Issues:  
  
Contents

  • Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems
  • PU Fei and LU Wei-Ming
  • 2003,14(12):1977-1988 [Abstract(3083)]  [View PDF(3244)1.25 M]
  • An Automatic Generation Technique for Monad
  • Lü Jiang-Hua and JIN Cheng-Zhi
  • 2003,14(12):1989-1995 [Abstract(2657)]  [View PDF(3037)595.30 K]
  • Constructing Binary Classification Trees with High Intelligibility
  • JIANG Yan-Huang,YANG Xue-Jun and ZHAO Qiang-Li
  • 2003,14(12):1996-2005 [Abstract(2913)]  [View PDF(3319)769.67 K]
  • An Improved Sequential Minimal Optimization Learning Algorithm for Regression Support Vector Machine
  • ZHANG Hao-Ran and HAN Zheng-Zhi
  • 2003,14(12):2006-2013 [Abstract(2987)]  [View PDF(4776)700.39 K]
  • Continuous Speech Recognition and Verification Based on a Combination Score
  • Yan Bin-Feng and Zhu Xiao-Yan
  • 2003,14(12):2014-2020 [Abstract(2864)]  [View PDF(3520)605.90 K]
  • A Nonrepudiable Threshold Proxy Signcryption Scheme with Known Proxy Agent
  • LI Ji-Guo,LI Jian-Zhong,CAO Zhen-Fu and ZHANG Yi-Chen
  • 2003,14(12):2021-2027 [Abstract(3198)]  [View PDF(3260)592.05 K]
  • A Comparison Between Two Formal Analysis Methods on Authentication Protocols
  • QING Si-Han
  • 2003,14(12):2028-2036 [Abstract(2483)]  [View PDF(3025)739.21 K]
  • An Enhanced NAT-PT Model
  • ZENG Li-An,CHENG Zhao-Hui and LING Li
  • 2003,14(12):2037-2044 [Abstract(3260)]  [View PDF(3235)616.49 K]
  • A Dynamic Location Updating Management Scheme in Low Earth Orbit Networks
  • WANG Liang and ZHANG Nai-Tong
  • 2003,14(12):2045-2051 [Abstract(2411)]  [View PDF(2915)534.20 K]
  • A Study of the Key Distribution in Secure Multicast
  • ZHU Wen-Tao,XIONG Ji-Ping,LI Jin-Sheng and HONG Pei-Lin
  • 2003,14(12):2052-2059 [Abstract(2489)]  [View PDF(3676)760.12 K]
  • A Scheme and Behavior Analysis of Duplicated Ports Switches with Line Rate Buffers
  • WU Jun,CHEN Qing and LUO Jun-Zhou
  • 2003,14(12):2060-2067 [Abstract(2930)]  [View PDF(3420)644.26 K]
  • A Distributed Algorithm for Content-Aware Web Server Clusters
  • DU Zeng-Kai,ZHENG Ming-Yang and JU Jiu-Bin
  • 2003,14(12):2068-2073 [Abstract(2934)]  [View PDF(3762)636.96 K]
  • Centerline Extraction Based on Hessian Matrix
  • LI Guang-Ming,TIAN Jie,ZHAO Ming-Chang and HE Hui-Guang
  • 2003,14(12):2074-2081 [Abstract(3959)]  [View PDF(6279)940.78 K]
  • Curve Interpolation Based on Non-Uniform Catmull-Clark Subdivision Scheme
  • ZHANG Jing-Qiao,WANG Guo-Jin and ZHENG Jian-Min
  • 2003,14(12):2082-2091 [Abstract(2873)]  [View PDF(3775)948.41 K]
  • A Decision Method for Under-,Over-and Well-Constrainess of Parametric Model
  • JIANG Kun,GAO Xiao-Shan and YUE Jing-Yan
  • 2003,14(12):2092-2097 [Abstract(3221)]  [View PDF(3478)621.08 K]
  • Analysis and Application of the Facial Expression Motions Based on Eigen-Flow
  • JIN Hui and GAO Wen
  • 2003,14(12):2098-2105 [Abstract(3335)]  [View PDF(4359)1.47 M]
  • Approximating the Derivative Bounds of Parametric Curves and Applying to Curve Rasterization
  • XIE Ben-Huai and WANG Guo-Jin
  • 2003,14(12):2106-2112 [Abstract(2282)]  [View PDF(2838)668.19 K]