Contents

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

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

Intuitionistic Linear-Time μ-Calculus KAZMI Syed Asad Raza and ZHANG Wen-Hui 2008,19(12):3122-3133 [Abstract(5319)]  [View PDF(5760)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(4402)]  [View PDF(8269)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(5146)]  [View PDF(6950)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(5832)]  [View PDF(7977)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(4951)]  [View PDF(6003)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(5536)]  [View PDF(6739)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(4567)]  [View PDF(5624)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(4219)]  [View PDF(6080)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(4840)]  [View PDF(6531)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(4298)]  [View PDF(6652)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(5047)]  [View PDF(7586)757.92 K]