收藏本站
名称:中国计算机学会理论计算机科学专业委员会
省份:湖南省

2005年全国理论计算机科学学术年会论文集

会议论文
战场侦察多Agent系统模型研究 李雄;李胜利;
基于神经网络系统辨识的水下航行器源贡献分析研究 魏娜;贲可荣;章林柯;庞云福;
肺音特征提取的小波包变换方法 李圣君;刘毅;
2005年全国理论计算机科学学术年会组织机构名单
前言
部分状态空间的建模及其验证 韩婷婷;陈韬略;颜锋;吕建;
SPIN在同步时序逻辑中的应用 章超;李彩虹;李廉;
分布式同步仲裁器电路的SPIN建模和验证 李彩虹;章超;李廉;孙守卿;
面向方面重建方法的研究 张金岩;张利辉;郭希娟;
基于体系结构的软件生产线开发方法的形式化框架 楚旺;钱德沛;
改进的个性化信息推荐系统的设计与实现 张玉连;张波;张敏;
由程序规约推导程序 薛慧琦;吴恒;
基于边选择的时延及时延抖动受限组播路由算法 曾华朴;朱文兴;
软件系统操作剖面的一种确定方法 张永强;孙胜娟;
Some NP-complete Instances in(r,s)-SAT 肖华;龚平;许道云;
关于多项式时间谱系中语言的多项式图灵完全性 李雅瑞;
一些简化的NP完全满足性问题类(英文) 龚平;肖华;许道云;
关于q值Bent函数的一些研究 肖建龙;李艳春;张鹰;
描述短时资源混杂占用型任务调度的数学模型与算法 张磊;马军;
在流数据模式下计算最长递增子序列长度 倪晟宇;
页码:
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026