: The presentation claims that architectural design plays a crucial role in system development as a first step in a process that turns a requirements specification into a working s...
In this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves. We consider two types of guards: edge guards (these...
Content based shape image retrieval is an important problem which gained the attention of the community. The challenge is to map the shape into compact and robust descriptor. This...
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
State of the art multiresolution modeling allows to selectively refine a coarse mesh of an object on the visually important parts. In this way it is possible to render the geomet...