I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptiveness and technical usefulness. I discuss shortcomings in the scientific and semantic foundations of FDTs. I formulate requirements for FDTs. I demonstrate how a family of complementary description techniques can be develo...

This work addresses the topic of Mathematics Education in Computing Curricula through the stimulating subject of Cryptology. It deals with the simple and complex mathematical concepts involved in several aspects of cryptology, including basic information relating to several algorithmic ciphers and applications. Different mathematical objects such as functions, matrices, modular arithmetic, coun...

Crosstalk is a critical factor determining the image quality of stereoscopic displays. Also known as ghosting or leakage, high levels of crosstalk can make stereoscopic images hard to fuse and lack fidelity; hence it is important to achieve low levels of crosstalk in the development of high-quality stereoscopic displays. In the wider academic literature, the terms crosstalk, ghosting and leakag...

Nowadays information systems are required to be more adaptable and flexible than before to deal with the rapidly increasing quantity of available data and changing information needs. Text Classification (TC) is a useful task that can help to solve different problems in different fields. This paper investigates the application of descriptive approaches for modelling classification. The main obje...

This paper discusses region-based representations useful to create connected operators. The filtering approach involves three steps: first, a region tree representation of the input image is constructed. Second, the simplification is obtained by pruning the tree and third, and output image is constructed from the pruned tree. The paper focuses in particular on the pruning strategies that can be...

Marker tracking is widely used in applications like motion capture and pose estimation. This thesis describes the development of an active marker tracking algorithm using a Dynamic Vision Sensor (DVS) as recording device. The DVS’s event driven behaviour opens novel opportunities to develop a tracking algorithm with a high temporal resolution at low costs. The tracking algorithm combines both t...

This paper discusses region-based representations useful to create connected operators. The filtering approach involves three steps: first, a region tree representation of the input image is constructed. Second, the simplification is obtained by pruning the tree and third, and output image is constructed from the pruned tree. The paper focuses in particular on several pruning strategies that ca...