2004年第15卷第10期目录

   
浏览其它刊期:  
  

本期目录

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