We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...
This paper proposes the use of animal flocks to naturally provide spatial clues in adventure video-games. This approach complements the so far proposed mechanisms to support naviga...