Volume 19,Issue 12,2008 Table of Contents

Other Issues:  
  
Contents

  • First-Order Logic Reasoning Support for the Semantic Web
  • XU Gui-Hong and ZHANG Jian
  • 2008,19(12):3091-3099 [Abstract(5484)]  [View PDF(7816)371.15 K]
  • A Hybrid System DLclog Integrating Description Logics and Rules
  • YANG Fang-Kai and CHEN Xiao-Ping
  • 2008,19(12):3100-3110 [Abstract(3270)]  [View PDF(3621)431.61 K]
  • Symbolic Reachability Analysis of Hybrid Systems
  • ZHANG Hai-Bin and DUAN Zhen-Hua
  • 2008,19(12):3111-3121 [Abstract(3520)]  [View PDF(3548)464.50 K]
  • Intuitionistic Linear-Time μ-Calculus
  • KAZMI Syed Asad Raza and ZHANG Wen-Hui
  • 2008,19(12):3122-3133 [Abstract(3917)]  [View PDF(3637)437.50 K]
  • Fast Fingerprint Identification Based on Neighborhood Structure Around Singular Point
  • SHI Peng,TIAN Jie,SU Qi and YANG Xin
  • 2008,19(12):3134-3146 [Abstract(3210)]  [View PDF(5137)730.74 K]
  • Polynomial Kernel Based Structural Clustering Algorithm by Building Directed Trees
  • DING Jun-Di,MA Ru-Ning and CHEN Song-Can
  • 2008,19(12):3147-3160 [Abstract(3893)]  [View PDF(4396)885.36 K]
  • Adaptive Distance Preserving Level Set Evolution for Image Segmentation
  • HE Chuan-Jiang,LI Meng and ZHAN Yi
  • 2008,19(12):3161-3169 [Abstract(4457)]  [View PDF(5254)558.99 K]
  • Fuzzy Reasoning Based on First-Order Modal Logic
  • ZHANG Xiao-Ru,ZHANG Zai-Yue,SUI Yue-Fei and HUANG Zhi-Sheng
  • 2008,19(12):3170-3178 [Abstract(3651)]  [View PDF(3695)406.11 K]
  • Design and Implementation of Service-Based Network Architecture
  • YI Fa-Sheng,CHEN Gui-Hai,LIU Ming,GONG Hai-Gang and ZENG Jia-Zhi
  • 2008,19(12):3179-3195 [Abstract(4312)]  [View PDF(4336)583.64 K]
  • A Scheduling Set Based Integrated Scheduling Algorithm for Unicast and Multicast Traffic
  • TIAN Lin,YANG Yu-Bo,FANG Geng-Fa,SHI Jing-Lin and DUTKIEWICZ Eryk
  • 2008,19(12):3196-3206 [Abstract(3382)]  [View PDF(3209)532.85 K]
  • A Parallel Packet Switch Achieving In-Order Cell Delivery with Combined-Input-and-Output Queuing Switches
  • DAI Yi,SU Jin-Shu and SUN Zhi-Gang
  • 2008,19(12):3207-3217 [Abstract(3104)]  [View PDF(3660)590.17 K]
  • Time-Based Broadcasting for Power-Aware Routing in Wireless Ad Hoc Networks
  • WEN Kai,GUO Wei and HUANG Guang-Jie
  • 2008,19(12):3218-3227 [Abstract(3643)]  [View PDF(4207)466.07 K]
  • Physics-Based Simulation of Human Motion in Flight
  • WEI Yi,XIA Shi-Hong and WANG Zhao-Qi
  • 2008,19(12):3228-3236 [Abstract(3058)]  [View PDF(3915)541.30 K]
  • Processing Framework and the Fast Volume Rendering Algorithms for Out- of-Core Medical Data
  • XUE Jian,TIAN Jie,DAI Ya-Kang and CHEN Jian
  • 2008,19(12):3237-3248 [Abstract(3716)]  [View PDF(4727)757.92 K]