It has long been argued that developing distributed software is a difficult and error-prone activity. Based on previous work on design patterns and skeletons, this paper proposes a template-based approach for the high-level design and implementation of Distributed Virtual Environments (DVEs). It describes a methodology and its associated tool which includes a user-interface, a performance analy...

In this note, the deformable template or elastic arm approach to track reconstruction described previously will be extended to include particle identification. The discussion will first develop the mathematical and algorithmic structure of the pattern recognition problem using the methodology and language of statistical mechanics and then sketch its implementation in an object oriented programm...

A large number of test images and their “ground truth” segmentations are needed for performance characterization of the many image segmentation methods. In this work we developed a methodology to form a probability distribution of the diffeomorphism between a segmented template image and those from a population, and consequently we sample from these probability distributions to produce test ima...

Background The Caribbean region is one where there is a marked increase in non-communicable diseases and at the same time there are significant financial constraints. This study seeks to develop a methodology for a sustainable supply chain mechanism for medicines which can be implemented in these countries. To develop this, the chronic disease assistance programme currently implemented in Trini...

We present a methodology for logic program development based on the use of ver-iied transformation templates. We use the Isabelle Logical Framework to formalize transformation templates as inference rules. We derive these rules in higher-order logic and afterwards use higher-order uniication to apply them to develop programs in a deductive synthesis style. Our work addresses the pragmatics of t...

An iterative transform method proposed previously for direct phasing of high-solvent-content protein crystals is employed for enhancing the molecular-replacement (MR) algorithm in protein crystallography. Target structures that are resistant to conventional MR due to insufficient similarity between the template and target structures might be tractable with this modified phasing method. Trial ca...

A Cartesian grid generation methodology is developed for unsteady control volume computational fluid dynamic (CFD) solvers. Arbitrary combinations and numbers of moving and stationary boundaries are allowed to exist in the two-dimensional Cartesian grid template. Specific definitions for the possible cases, CFD solver requirements and moving geometry handling algorithms of Cartesian grids are d...

This paper presents a new approach for 2D object segmentations using an automatic method applied on images with severe non random noise conditions. Results from biomedical images (cytologies) are presented. The proposed methodology works from the output of an edge detector, which is processed to obtain an approximation of the shape of the object from partial information. The nal estimation of t...

A general method is proposed for constructing templates of cells in differential interference contrast (DIC) microscopy. This takes account of the optics which generate DIC images, and is applicable to both transparent and semi-transparent cells of simple and complex shapes. Then, a template matching methodology is presented, which uses fast Fourier transforms to fit templates of a range of siz...

We propose a complete methodology for extending our automatic ASIP (Architecture Specific Instruction set Processor) synthesis framework to a much wider target architecture space. In this new architecture space the width of the integer data word and of any hardware resource data path is user-definable and application specific. This methodology, developed on the basis of a retargetable C compile...