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

2001年第12卷第9期目录

   
浏览其它刊期:  
  

本期目录

析取封闭世界假设的一种过程语义
  王克文,周立柱,冯建华
  2001,12(9):1265-1270 [摘要(2550)]  [PDF 352.12 K (2313)]
  
基于多模式分析自动解析新闻视频
  王伟强,高文
  2001,12(9):1271-1278 [摘要(2300)]  [PDF 719.32 K (2535)]
  
函数式逻辑语言的操作语义
  MOHAMEDHamada
  2001,12(9):1279-1286 [摘要(2293)]  [PDF 449.98 K (2497)]
  
基于层次DCT变换的嵌入式图像编码方法
  赵德斌,张大鹏,高文
  2001,12(9):1287-1294 [摘要(2522)]  [PDF 1.13 M (2643)]
  
对象系统的组合交互计算
  钱军,黄涛,冯玉琳
  2001,12(9):1295-1303 [摘要(2155)]  [PDF 1.17 M (2441)]
  
一种新颖的水印密钥系统
  钟桦,焦李成,刘芳
  2001,12(9):1304-1311 [摘要(2683)]  [PDF 485.10 K (2575)]
  
扩展强化非对称选择网的活性和有界性
  焦莉,陆维明
  2001,12(9):1312-1317 [摘要(2518)]  [PDF 395.14 K (2325)]
  
一种分析电子商务协议的新工具
  周典萃,卿斯汉,周展飞
  2001,12(9):1318-1328 [摘要(2154)]  [PDF 588.52 K (2520)]
  
ORDBMS中主动性规则的研究与实现
  李红燕,李战怀,唐世渭
  2001,12(9):1329-1335 [摘要(2221)]  [PDF 505.75 K (2470)]
  
基于视觉相似性的中文古籍内容检索方法
  施伯乐,张亮,王勇,陈智峰
  2001,12(9):1336-1342 [摘要(2650)]  [PDF 495.07 K (2670)]
  
证书吊销的线索二叉排序Hash树解决方案
  王尚平,张亚玲,王育民
  2001,12(9):1343-1350 [摘要(2831)]  [PDF 560.00 K (2634)]
  
基于软件体系结构的可复用构件制作和组装
  张世琨,张文娟,常欣,王立福,杨芙清
  2001,12(9):1351-1359 [摘要(5265)]  [PDF 586.26 K (3562)]
  
基于状态和变化的统一时空数据模型
  郑扣根,谭石禹,潘云鹤
  2001,12(9):1360-1365 [摘要(2727)]  [PDF 425.58 K (3314)]
  
多Agent信念逻辑及其在概率意义下的推广
  曹子宁,董红斌,石纯一
  2001,12(9):1366-1374 [摘要(2512)]  [PDF 558.30 K (2534)]
  
一种分布式协同入侵检测系统的设计与实现
  段海新,吴建平
  2001,12(9):1375-1379 [摘要(2343)]  [PDF 394.93 K (2883)]
  
遗传算法求解复杂集装箱装载问题方法研究
  何大勇,查建中,姜义东
  2001,12(9):1380-1385 [摘要(3397)]  [PDF 851.29 K (3207)]
  
用Naive Bayes方法协调分类Web网页
  范焱,郑诚,王清毅,蔡庆生,刘洁
  2001,12(9):1386-1392 [摘要(2584)]  [PDF 1.45 M (2511)]
  
利用区间约束优化包含多个用户函数的查询
  杨波,洪晓光,王海洋
  2001,12(9):1393-1398 [摘要(2261)]  [PDF 377.27 K (2339)]
  
智能化电脑刺绣编程环境的设计与实现
  刘海涛,郭磊,陈世福
  2001,12(9):1399-1404 [摘要(2441)]  [PDF 368.18 K (2996)]
  
基于对数模型的词义自动消歧
  朱靖波,李珩,张跃,姚天顺
  2001,12(9):1405-1412 [摘要(2227)]  [PDF 474.33 K (2467)]
  
基于分组网络的多点实时语音混合及调度算法
  杨树堂,余胜生,周敬利
  2001,12(9):1413-1419 [摘要(2400)]  [PDF 1.34 M (3131)]
  
最大熵阈值处理算法
  周德龙,潘泉,张洪才,戴冠中
  2001,12(9):1420-1422 [摘要(2892)]  [PDF 596.70 K (3105)]
  
 

京公网安备 11040202500064号

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