2008年第19卷第12期目录
语义网的一阶逻辑推理技术支持徐贵红,张 健2008,19(12):3091-3099 [摘要(6777)] [PDF(10570)371.15 K][HTML(0)]一种描述逻辑与逻辑程序相结合的杂合系统DLclog杨方凯,陈小平2008,19(12):3100-3110 [摘要(4371)] [PDF(5551)431.61 K][HTML(0)]混合系统的符号化可达性分析张海宾,段振华2008,19(12):3111-3121 [摘要(4633)] [PDF(5905)464.50 K][HTML(0)]直觉线性μ-演算KAZMI Syed Asad Raza,张文辉2008,19(12):3122-3133 [摘要(5259)] [PDF(5416)437.50 K][HTML(0)]基于奇异点邻近结构的快速指纹识别时 鹏,田 捷,苏 琪,杨 鑫2008,19(12):3134-3146 [摘要(4357)] [PDF(7858)730.74 K][HTML(0)]基于多项式核的结构化有向树数据聚类算法丁军娣,马儒宁,陈松灿2008,19(12):3147-3160 [摘要(5106)] [PDF(6580)885.36 K][HTML(0)]用于图像分割的自适应距离保持水平集演化何传江,李 梦,詹 毅2008,19(12):3161-3169 [摘要(5754)] [PDF(7555)558.99 K][HTML(0)]基于一阶模态逻辑的模糊推理张晓如,张再跃,眭跃飞,黄智生2008,19(12):3170-3178 [摘要(4889)] [PDF(5600)406.11 K][HTML(0)]基于服务的网络体系结构的设计和实现易发胜,陈贵海,刘 明,龚海刚,曾家智2008,19(12):3179-3195 [摘要(5496)] [PDF(6328)583.64 K][HTML(0)]基于调度集合的多播单播数据联合调度算法田 霖,杨育波,方更法,石晶林,DUTKIEWICZ Eryk2008,19(12):3196-3206 [摘要(4535)] [PDF(5182)532.85 K][HTML(0)]一种维序的基于组合输入输出排队的并行交换结构戴 艺,苏金树,孙志刚2008,19(12):3207-3217 [摘要(4185)] [PDF(5718)590.17 K][HTML(0)]无线Ad Hoc网络中基于时间广播的功率感知路由文 凯,郭 伟,黄广杰2008,19(12):3218-3227 [摘要(4798)] [PDF(6061)466.07 K][HTML(0)]基于物理的人体空中运动仿真魏 毅,夏时洪,王兆其2008,19(12):3228-3236 [摘要(4245)] [PDF(6260)541.30 K][HTML(0)]海量医学数据处理框架及快速体绘制算法薛 健,田 捷,戴亚康,陈 健2008,19(12):3237-3248 [摘要(4986)] [PDF(7144)757.92 K][HTML(0)]