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