Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hun...
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...
We present an efficient approach that merges the virtual objects into video sequences taken by a freely moving camera in a realistic manner. The composition is visually and geomet...
Guofeng Zhang, Xueying Qin, Xiaobo An, Wei Chen, H...
We present a probabilistic model-based framework for distributed learning that takes into account privacy restrictions and is applicable to scenarios where the different sites ha...
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...