We present a complete algorithm for the uniication of higher-order patterns modulo the associative-commutative theory of some constants +1; : : : ; +n. Given an AC-uniication problem over higher-order patterns, the output of the algorithm is a nite set DAG solved forms 9], constrained by some exible-exible equations with the same head on both sides. Indeed, in the presence of AC constants, such...

This work develops a novel general routing algorithm, which is a routing function, for constructing a container of width n 1 between any pair of vertices in an (n, k)-star graph with connectivity n 1. Since the wide diameters in an (n, n 1)-star graph and an (n, 1)-star graph have been derived by Lin et al. (2004), this work only addresses an (n, k)-star with 2 k n 2. The length of the longest ...

Sahil Shah 1, Hakan Toreyin 2, Jennifer Hasler 1,* and Aishwarya Natarajan 1 1 Department of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA 30332, USA; [email protected] (S.S.); [email protected] (A.N.) 2 Department of Electrical and Computer Engineering, San Diego State University, San Diego, CA 92182, USA; [email protected] * Correspondence: jennif...

in many signal processing applications, an appropriate measure to comparetwo signals plays a fundamental role in both implementing the algorithm andevaluating its performance. several techniques have been introduced in literature assimilarity measures. however, the existing measures are often either impractical forsome applications or they have unsatisfactory results in some other applications....

This paper presents a data focusing method (DFM) to image extended targets using the multiple signal classification (MUSIC) algorithm. The restriction on the number of transmitter-receiver antennas in a microwave imaging system deteriorates profiling an extended target that comprises many point scatterers. Under such situation, the subspace-based linear inverse scattering methods, like the MUSI...

This paper presents a biogeography-based optimization (BBO) algorithm to solve the economic loadDispatch (ELD) problem with generator constraints in thermal plants. The applied method can solvethe ELD problem with constraints like transmission losses, ramp rate limits, and prohibited operatingzones. Biogeography is the science of the geographical distribution of biological species. The modelsof...

Nowadays, by successful application of on time production concept in other concepts like production management and storage, the need to complete the processing of jobs in their delivery time is considered a key issue in industrial environments. Unrelated parallel machines scheduling is a general mood of classic problems of parallel machines. In some of the applications of unrelated parallel mac...

In this paper a new patch-based digital signature (DS) is proposed. The proposed approach similar to steganography methods hides the secure message in a host image. However, it uses a patch-based key to encode/decode the data like cryptography approaches. Both the host image and key patches are randomly initialized. The proposed approach consists of encoding and decoding algorithms. The encodin...

Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...