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