每年研究成果
每年研究成果
- 150個結果中的 - 本頁:158, 總數:158
搜尋結果
-
2014
Second-order feed-forward renderingfor specular and glossy reflections
Wang, L., Xie, N., Ke, W. & Popescu, V., 1 9月 2014, 於: IEEE Transactions on Visualization and Computer Graphics. 20, 9, p. 1316-1329 14 p., 6803934.研究成果: Article › 同行評審
2 引文 斯高帕斯（Scopus） -
2013
A graph-based generic type system for object-oriented programs
Ke, W., Liu, Z., Wang, S. & Zhao, L., 2月 2013, 於: Frontiers of Computer Science. 7, 1, p. 109-134 26 p.研究成果: Article › 同行評審
6 引文 斯高帕斯（Scopus） -
Compact compression for 3D dynamic datasets in certain range
Ma, Z., Wang, L., Zhang, X., Ke, W. & Zhao, Q., 2013, Proceedings - 2013 International Conference on Virtual Reality and Visualization, ICVRV 2013. IEEE Computer Society, p. 29-36 8 p. 6689392. (Proceedings - 2013 International Conference on Virtual Reality and Visualization, ICVRV 2013).研究成果: Conference contribution › 同行評審
-
Composite rigid body construction for fast and compact dynamic data compression
Ma, Z., Wang, L., Zhang, X., Ke, W. & Zhao, Q., 2013, p. 393-394. 2 p.研究成果: Paper › 同行評審
-
rCOS: Defining meanings of component-based software architectures
Dong, R., Faber, J., Ke, W. & Liu, Z., 2013, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013. p. 1-66 66 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 8050 LNCS).研究成果: Conference contribution › 同行評審
6 引文 斯高帕斯（Scopus） -
2012
rCOS: A formal model-driven engineering method for component-based software
Ke, W., Li, X., Liu, Z. & Stolz, V., 2月 2012, 於: Frontiers of Computer Science in China. 6, 1, p. 17-39 23 p.研究成果: Article › 同行評審
17 引文 斯高帕斯（Scopus） -
Software engineering in public health: Opportunities and challenges
Ke, W. & Liu, Z., 2012, Proceedings - 2012 International Conference on Computer Distributed Control and Intelligent Environmental Monitoring, CDCIEM 2012. p. 630-637 8 p. 6178484. (Proceedings - 2012 International Conference on Computer Distributed Control and Intelligent Environmental Monitoring, CDCIEM 2012).研究成果: Conference contribution › 同行評審
1 引文 斯高帕斯（Scopus） -
2009
A graph-based operational semantics of OO programs
Ke, W., Liu, Z., Wang, S. & Zhao, L., 2009, Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods, ICFEM 2009, Proceedings. p. 347-366 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 5885 LNCS).研究成果: Conference contribution › 同行評審
11 引文 斯高帕斯（Scopus）