A morphological scale-space representation is presented based on a morphological strong filter, the levelings. The scale-properties are analysed and illustrated. From one scale to...
We consider the space of ternary words of length n and fixed weight w with the usual Hamming distance. A sequence of perfect single error correcting codes in this space is construc...
Based on an analysis of the heterogeneous systems for interconnecting distributed infrastructural devices, such as low-bandwidth sensor/actuator-networks and upcoming multimedia h...
The method of consecutive revolving or extrusion of a geometric entity in a CAD system is typically used by a designer to represent complex solids. While it is evident that consec...
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...