論文題目 |
第一作者 |
發表年度 |
刊物/會議名稱 |
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
|
系統仿真學報
|