In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciļ...
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
A major research goal for compilers and environments is the automatic derivation of tools from formal speciļ¬cations. However, the formal model of the language is often inadequat...
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...