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