Contents

First-Order Logic Reasoning Support for the Semantic Web XU Gui-Hong and ZHANG Jian 2008,19(12):3091-3099 [Abstract(7482)]  [View PDF(12711)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(5017)]  [View PDF(7291)431.61 K]

Symbolic Reachability Analysis of Hybrid Systems ZHANG Hai-Bin and DUAN Zhen-Hua 2008,19(12):3111-3121 [Abstract(5266)]  [View PDF(7902)464.50 K]

Intuitionistic Linear-Time μ-Calculus KAZMI Syed Asad Raza and ZHANG Wen-Hui 2008,19(12):3122-3133 [Abstract(5913)]  [View PDF(6919)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(5065)]  [View PDF(9800)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(5706)]  [View PDF(8245)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(6496)]  [View PDF(9201)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(5601)]  [View PDF(7331)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(6167)]  [View PDF(7917)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(5228)]  [View PDF(6957)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(4900)]  [View PDF(7521)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(5497)]  [View PDF(7623)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(5044)]  [View PDF(8084)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(5770)]  [View PDF(8978)757.92 K]