This paper presents a system that can automatically recognize four different static human body postures in video sequences. The considered postures are standing, sitting, squattin...
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
The use of an alphabet of line segments to compose a curve is a possible approach for curve data compression. An existing state-of-the-art method considers a quadtree decompositio...
The Dempster-Shafer Theory of Evidence is an established method for combining different sources of information. In this paper we explore ways to improve the combination performanc...
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...