Recent progress in acquiring shape from range data permits the acquisition of seamless million-polygon meshes from physical models. In this paper, we present an algorithm and syst...
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
The task of tracking an object has been fully studied and many solutions presented before. However, it is a perfect test bed for the study of a novel model using Coupled Chaos Sys...
A taxonomy-based source consists of a taxonomy and a database storing objects that are indexed in terms of the taxonomy. For this kind of sources, we describe a flexible interacti...
One interesting way of accessing collections of multimedia objects is by methods of visualization and clustering. Growing self-organizing maps provide such a solution, which adapts...