1000-9825
2008 Issue 12
First-Order Logic Reasoning Support for the Semantic Web
XU Gui-Hong;ZHANG Jian
XU Gui-Hong;ZHANG Jian
..............page:3091-3099
A Hybrid System DLclog Integrating Description Logics and Rules
YANG Fang-Kai;CHEN Xiao-Ping
YANG Fang-Kai;CHEN Xiao-Ping
..............page:3100-3110
Symbolic Reachability Analysis of Hybrid Systems
ZHANG Hai-Bin;DUAN Zhen-Hua
ZHANG Hai-Bin;DUAN Zhen-Hua
..............page:3111-3121
Intuitionistic Linear-Time μ-Calculus
KAZMI Syed Asad Raza;ZHANG Wen-Hui
KAZMI Syed Asad Raza;ZHANG Wen-Hui
..............page:3122-3133
Fast Fingerprint Identification Based on Neighborhood Structure Around Singular Point
SHI Peng;TIAN Jie;SU Qi;YANG Xin
SHI Peng;TIAN Jie;SU Qi;YANG Xin
..............page:3134-3146
Polynomial Kernel Based Structural Clustering Algorithm by Building Directed Trees
DING Jun-Di;MA Ru-Ning;CHEN Song-Can
DING Jun-Di;MA Ru-Ning;CHEN Song-Can
..............page:3147-3160
Adaptive Distance Preserving Level Set Evolution for Image Segmentation
HE Chuan-Jiang;LI Meng;ZHAN Yi
HE Chuan-Jiang;LI Meng;ZHAN Yi
..............page:3161-3169
Fuzzy Reasoning Based on First-Order Modal Logic
ZHANG Xiao-Ru;ZHANG Zai-Yue;SUI Yue-Fei;HUANG Zhi-Sheng
ZHANG Xiao-Ru;ZHANG Zai-Yue;SUI Yue-Fei;HUANG Zhi-Sheng
..............page:3170-3178
Design and Implementation of Service-Based Network Architecture
YI Fa-Sheng;CHEN Gui-Hai;LIU Ming;GONG Hai-Gang;ZENG Jia-Zhi
YI Fa-Sheng;CHEN Gui-Hai;LIU Ming;GONG Hai-Gang;ZENG Jia-Zhi
..............page:3179-3195
A Scheduling Set Based Integrated Scheduling Algorithm for Unicast and Multicast Traffic
TIAN Lin;YANG Yu-Bo;FANG Geng-Fa;SHI Jing-Lin;DUTKIEWICZ Eryk
TIAN Lin;YANG Yu-Bo;FANG Geng-Fa;SHI Jing-Lin;DUTKIEWICZ Eryk
..............page:3196-3206
A Parallel Packet Switch Achieving In-Order Cell Delivery with Combined-Input-and-Output Queuing Switches
DAI Yi;SU Jin-Shu;SUN Zhi-Gang
DAI Yi;SU Jin-Shu;SUN Zhi-Gang
..............page:3207-3217
Time-Based Broadcasting for Power-Aware Routing in Wireless Ad Hoc Networks
WEN Kai;GUO Wei;HUANG Guang-Jie
WEN Kai;GUO Wei;HUANG Guang-Jie
..............page:3218-3227
Physics-Based Simulation of Human Motion in Flight
WEI Yi;XIA Shi-Hong;WANG Zhao-Qi
WEI Yi;XIA Shi-Hong;WANG Zhao-Qi
..............page:3228-3236
Processing Framework and the Fast Volume Rendering Algorithms for Out- of-Core Medical Data
XUE Jian;TIAN Jie;DAI Ya-Kang;CHEN Jian
XUE Jian;TIAN Jie;DAI Ya-Kang;CHEN Jian
..............page:3237-3248