主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2008年第19卷第12期目录

   
浏览其它刊期:  
  

本期目录

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

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利