论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
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
|
系统仿真学报
|