| 2004年第15卷第10期目录
本期目录 | | | 基于P/T系统化简方法的工作流过程模型验证 | | 赵文,袁崇义,刘刚,张世琨,王立福 | | 2004,15(10):1423-1430 [摘要(3738)] [PDF 792.25 K (5189)] | | | | 基于服务协作中间件的动态流程模型 | | 刘绍华,魏峻,黄涛 | | 2004,15(10):1431-1440 [摘要(4066)] [PDF 924.36 K (5305)] | | | | 基于断言的模拟矢量自动生成方法 | | 李暾,郭阳,李思昆 | | 2004,15(10):1441-1450 [摘要(4143)] [PDF 776.51 K (4963)] | | | | 有效的低功耗编译优化方法:部件使用局部化 | | 易会战,杨学军 | | 2004,15(10):1451-1460 [摘要(4318)] [PDF 747.86 K (5150)] | | | | 基于高层语义的图像检索算法 | | 王崇骏,杨育彬,陈世福 | | 2004,15(10):1461-1469 [摘要(4798)] [PDF 828.61 K (6469)] | | | | 模糊目标信息系统上的知识约简方法 | | 管涛,冯博琴 | | 2004,15(10):1470-1478 [摘要(3824)] [PDF 948.26 K (5089)] | | | | 基于因果发现的神经网络集成方法 | | 凌锦江,周志华 | | 2004,15(10):1479-1484 [摘要(4714)] [PDF 629.53 K (5651)] | | | | 两类模糊推理算法的连续性和逼近性 | | 徐蔚鸿,谢中科,杨静宇,叶有培 | | 2004,15(10):1485-1492 [摘要(4139)] [PDF 742.81 K (4980)] | | | | 图形处理器用于通用计算的技术、现状及其挑战 | | 吴恩华 | | 2004,15(10):1493-1504 [摘要(9094)] [PDF 937.72 K (39304)] | | | | 基于流的实时碰撞检测算法 | | 范昭炜,万华根,高曙明 | | 2004,15(10):1505-1514 [摘要(3977)] [PDF 969.81 K (5596)] | | | | 基于参数空间的混合多分辨率绘制 | | 冀俊峰,李胜,刘学慧,吴恩华 | | 2004,15(10):1515-1521 [摘要(3953)] [PDF 1.20 M (4506)] | | | | 有理Bézier曲线的降阶 | | 康宝生,石茂,张景峤 | | 2004,15(10):1522-1527 [摘要(4093)] [PDF 563.51 K (5016)] | | | | 面向XML文档的细粒度强制访问控制模型 | | 李斓,何永忠,冯登国 | | 2004,15(10):1528-1537 [摘要(4224)] [PDF 852.33 K (5346)] | | | | 一种基于PGM的单速率组播拥塞控制方案 | | 谭连生,熊乃学,杨燕 | | 2004,15(10):1538-1546 [摘要(4016)] [PDF 741.45 K (4920)] | | | | 一个改进的可动态调节的机密性策略模型 | | 季庆光,卿斯汉,贺也平 | | 2004,15(10):1547-1557 [摘要(4223)] [PDF 874.43 K (5363)] | | | | Arnold反变换的一种新算法 | | 孔涛,张亶 KONG Tao+;ZHANG Dan | | 2004,15(10):1558-1564 [摘要(4561)] [PDF 907.09 K (7201)] | | | | 基于散列值的广域网服务发现 | | 周晓,陈鸣 | | 2004,15(10):1565-1573 [摘要(4168)] [PDF 729.12 K (4599)] | | | | 国家自然科学基金委员会信息科学部计算机科学处2003年度面上项目结题概况 | | 徐琳,刘志勇,刘克,肖人毅 | | 2004,15(10):1574-1581 [摘要(4957)] [PDF 1.20 M (5382)] | | |
|