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