Contents

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

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

Intuitionistic Linear-Time μ-Calculus KAZMI Syed Asad Raza and ZHANG Wen-Hui 2008,19(12):3122-3133 [Abstract(5366)]  [View PDF(6106)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(4444)]  [View PDF(8741)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(5183)]  [View PDF(7338)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(5885)]  [View PDF(8423)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(5001)]  [View PDF(6335)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(5567)]  [View PDF(7081)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(4600)]  [View PDF(6032)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(4251)]  [View PDF(6470)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(4869)]  [View PDF(6823)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(4335)]  [View PDF(7038)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(5073)]  [View PDF(8048)757.92 K]