论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
Modeling the Large-Scale Device Control System Based on PI-Calculus |
Deng,P |
2011 |
ADVANCED SCIENCE LETTERS |
ON GUESS AND DETERMINE ANALYSIS OF RABBIT |
Feng,XT |
2011 |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
On the derandomization of the graph test for homomorphism over groups |
Tang,LQ |
2011 |
THEORETICAL COMPUTER SCIENCE |
On the number of infinite sequences with trivial initial segment complexity |
Barmpalias,G |
2011 |
THEORETICAL COMPUTER SCIENCE |
Real Time Edit Propagation by Efficient Sampling |
Bie,XH |
2011 |
COMPUTER GRAPHICS FORUM |
Exploring structural symmetry automatically in symbolic trajectory evaluation |
Li,YJ |
2011 |
FORMAL METHODS IN SYSTEM DESIGN |
EXTENDED PROBABILISTIC LATENT SEMANTIC ANALYSIS MODEL FOR TOPICS IN TIME-STAMPED IMAGES |
Liao,XF |
2011 |
INTELLIGENT AUTOMATION AND SOFT COMPUTING |
Free Appearance-Editing with Improved Poisson Image Cloning |
Bie,XH |
2011 |
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY |
Improved Integral Attacks on Rijndael |
Li,YJ |
2011 |
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING |
Inferring specifications for resources from natural language API documentation |
Zhong,H |
2011 |
AUTOMATED SOFTWARE ENGINEERING |
Kolmogorov complexity of initial segments of sequences and arithmetical definability |
Barmpalias,G |
2011 |
THEORETICAL COMPUTER SCIENCE |
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL |
|
2011 |
THEORETICAL COMPUTER SCIENCE |
AN ALMOST-UNIVERSAL CUPPING DEGREE |
|
2011 |
JOURNAL OF SYMBOLIC LOGIC |
A Case Study on REST-Style Architecture for Cyber-Physical Systems: Restful Smart Gateway |
|
2011 |
COMPUTER SCIENCE AND INFORMATION SYSTEMS |
A comparative study of TF*IDF, LSI and multi-words for text classification |
|
2011 |
EXPERT SYSTEMS WITH APPLICATIONS |
A NEW METHOD OF LINE FEATURE GENERALIZATION BASED ON SHAPE CHARACTERISTIC ANALYSIS |
|
2011 |
METROLOGY AND MEASUREMENT SYSTEMS |
网络分布计算与软件工程 |
冯玉琳 |
2011 |
|
面向MapReduce的数据处理流程开发方法 |
易小华 |
2011 |
计算机科学与探索 |
stable cohesion metrics for evolving ontologies |
马应龙 |
2011 |
Journal of Software Maintenance and Evolution |
动态网络空间中的k-NN查询 |
殷晓岚 |
2011 |
电子学报 |
多租户Web应用的CPU资源动态评估方法 |
王伟 |
2011 |
计算机学报 |
一种面向Mashup自动构造的目标分解方法 |
白琳 |
2011 |
计算机科学 |
一种支持声明式表示层集成的组件模型 |
李辉 |
2011 |
计算机系统应用 |
空间事件的检测及优化策略研究 |
胡佳锋 |
2011 |
软件学报 |
支持JSR286和WSRP2.0规范的Portlet协作的设计 |
孙国洋 |
2011 |
计算机应用与软件 |
一种多门户环境下服务管理框架的设计 |
尼建 |
2011 |
计算机应用与软件 |
Portlet桥接的设计与实现 |
樊伟 |
2011 |
计算机工程与设计 |
收益驱动的复合服务恢复策略选择方法 |
夏永霖 |
2011 |
小型微型计算机系统 |
应用层组播动态调整问题的研究 |
张更欣 |
2011 |
计算机工程与设计 |
一种轻量级数据持久框架的设计与实现 |
屈夏 |
2011 |
计算机应用与软件 |