The technique for point pattern matching (PPM) is essential to many image analysis and computer vision tasks. Given two point patterns, the PPM technique finds an optimal transformation for one point pattern such that a distance measure from the transformed point pattern to the other is minimized. This paper presents a new PPM algorithm based on particle swarm optimization (PSO). The set of tra...

In this paper, we present a technique for characterizing CMOS analog circuits based on directed intervals. The technique consists of an analog performance es-timator and a characterization table generator. This characterization information may be eeciently used by the constraint transformation step in an analog synthesis system. We present a genetic algorithm based constraint transformation met...

A program transformation technique should terminate, return efficient output programs and be efficient itself. These requirements are mutually conflicting, so a balance must be sought between definite termination and possible efficiency. For positive supercompilation [17], ensuring termination requires memoisation of expressions, and these are subsequently used to determine when to perform gene...

The occurrence of SH wave propagation under the effect of a point source in an orthotropic substratum lying over a heterogeneous orthotropic half space is deliberated in the prospect of a devastating earthquake. The quadratic alteration is acknowledged for density and shear modulus which is hypothesized to be a function of depth. The method of Green's function and transformation technique contr...

We present a novel technique of minimizing the acoustic variability of speakers by transforming the features extracted from the speaker’s data to better fit the recognition model. The concept of maximum-likelihood affine cepstral filtering (MLACF) will be introduced for feature transformation, along with solutions for the transformation parameters that maximize the likelihood of the test data w...

In this paper, we are interested in transformations of self-stabilizing algorithms from one model to another that preserve stabilization. We propose an easy technique for proving correctness of a natural class of transformations of self-stabilizing algorithms from any model to any other. We present a new transformation of self-stabilizing algorithms from a message passing model to a shared memo...

In practical applications of graph transformation techniques to model transformations one often has the need for copying, deleting, or moving entire subgraphs that match a certain graph pattern. While this can be done using elementary node and edge operations, the transformation is rather cumbersome to write. To simplify the transformation, we have recently developed a novel approach that allow...

Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often resulting in halfcompleted frontends. Compilers provide mature frontends with robust parsers and type checkers, but solving language processing problems in general-purpose lan...

the fungus colletotrichum gloeosporioides is the causative agent of anthracnose disease of many tropical, subtropical and temperate fruits, and a microbial source of the anticancer drug, taxol. here, we introduce an optimized agrobacterium tumefaciens-mediated transformation (atmt) protocol for genetic manipulation of this fungus using hph and gfp-tagged hph genes as selection markers. results ...