Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Abstract—A multigrid anisotropic diffusion algorithm for image processing is presented. The multigrid implementation provides an efficient hierarchical relaxation method that fa...
Accurate segmentation of images is one of the most important objectives in image analysis. The two conventional methods of image segmentation, region based segmentation and bounda...
A new eavesdropping technique can be used to read cathode-ray tube (CRT) displays at a distance. The intensity of the light emitted by a raster-scan screen as a function of time c...
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
John Lach, William H. Mangione-Smith, Miodrag Potk...