论文
    论文题目 第一作者 发表年度 刊物/会议名称
    Facilitating formal specification acquisition by using recursive functions on context-free languages 陈海明 2006-12-31 Knowledge-Based Systems
    An Optimal Method for Multiple Observers Sitting on Terrain Based on Improved Simulated Annealing Techniques 吕品 2006-12-31 Lecture Notes in Computer Science
    基于J2EE的统一数据访问工具的设计与实现 李梦 2006-12-31 计算机应用研究
    基于授权策略的RBAC信息流控制 翟征德 2006-12-31 计算机研究与发展
    支持移动和普适应用的上下文感知框架 金蓓弘 2006-12-31 计算机工程与科学
    无线局域网络的性能模型和仿真 皇甫伟 2006-12-31 北京邮电大学学报
    Structure of proofs and the complexity of cut elimination 张文辉 2006-12-30 Theoretical Computer Science
    千兆以太网交换机的信号完整性研究 郭鹏 2006-12-30 计算机应用研究
    CFL 句子计数和分层词典序枚举 董韫美 2006-12-3 中国科学 E辑 信息科学
    A default extension to distributed description logics 马应龙 2006-12-29 Web Intelligence and Agent Systems
    无线传感器网络网内信息聚合技术及算法 柯欣 2006-12-25 通信学报
    基于知网的文本推理 石晶 2006-12-22 中文信息学报
    一种风险驱动的迭代开发需求优先级排序方法 黄蒙 2006-12-20 软件学报
    基于模型的Web页面自动生成系统PAGS 李凡 2006-12-15 计算机工程与应用
    社区IP综合业务网服务质量保证的研究与实现 李延 2006-12-14 计算机应用研究
    驱动程序中的软硬件协调问题 李伟 2006-12-14 计算机应用研究
    体数据可视化的线绘制视频 魏峰 2006-12-12 计算机学报
    基于凸片段分解的多边形窗口线裁剪算法 孙春娟 2006-12-12 计算机辅助设计与图形学学报
    New Guess-and-Decermine Attachk on the Self-Shrinking Generator 张斌 2006-12-1 12th International Conference on the Theory and Application of Cryptology and Information Security
    An application-semantics-based relaxed transaction model for internetware 黄涛 2006-12-1 中国科学 F辑
    移动终端系统的访问控制框架 刘伟 2006-12-1 计算机科学
    计算机辅助的儿童识字系统 戴国忠 2006-12-1 识字教育科学化论文集粹
    上下文无关文法的句子生成方法综述 吴端仪 2006-12-1 计算机科学
    基于地址转发表的交换式以太网拓扑发现方法 孙延涛 2006-12-1 软件学报
    基于模型检查实现J2EE规范的实例研究 李彦 2006-12-1 计算机科学
    支持增强LINUX安全性的多个安全策略模型的统一框架 袁春阳 2006-12-1 中国科学院研究生院学报
    文本分割综述 石晶 2006-12-1 计算机工程与应用
    Approximate eigen-decomposition preconditioners for solving numerical PDE problems 孙家昶 2006-12-1 Applied mathematics and Computation
    基于Lattice Boltzmann模型的液-液混合流模拟 朱红斌 2006-12-1 计算机学报
    基于多分辨率格网数据的观察点设置问题研究 吕品 2006-12-1 系统仿真学报