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