Reo is a coordination language that can be used to model different systems. We propose a technique for symbolic execution of Reo circuits using Constraint Automata and more specifically exploiting their data constraints. This technique enables us to obtain the relations among the data passing through different nodes in a circuit and also infer coordination patterns. As an alternative to constru...

Speech is the fundamental means of communication among humans. Speech production is the process of converting a linguistic message to the acoustic waveform. Separating various linearly mixed speech signals is often modelled by famous cocktail party problem and can be achieved by a technique known as Independent Component Analysis (ICA). ICA is similar to PCA and Factor analysis but it works on ...

The history of cryptology shows that most secret-key cipher systems that have been broken were broken by exploiting the departure of the plaintext statistics from those of a completely random sequence. The technique of "homophonic substitution" is an old technique for converting an actual plaintext sequence into a (more) random sequence. At EUROCRYPT '88, Günther [1] introduced an important gen...

Most of the existing interpolation techniques available in the literature produce a blurring effect while converting a low resolution video to its high resolution counterpart. The blurring results in the loss of fine details and critical edge information of a video intra frame. In order to resolve this problem, an efficient, no reference, hybrid interpolation technique is proposed here. The pro...

Functional transposition is a technique for converting relations into functions aimed at developing the relational algebra via the algebra of functions. This paper attempts to develop a basis for generic transposition. Two instances of this construction are considered, one applicable to any relation and the other applicable to simple relations only. Our illustration of the usefulness of the gen...

Color images have a gamut that typically spans three dimensions. Nevertheless, several important applications, such as the creation of grayscale images for printing and the re-coloring of images for color-deficient viewers, require a reduction of gamut dimension. This paper describes a technique for preserving visual detail while reducing gamut dimension. The technique is derived by focusing on...

Universal Networking Language (UNL) is a declarative formal language that is used to represent semantic data extracted from natural language texts. This paper presents a novel approach to converting Bangla natural language text into UNL using a method known as Predicate Preserving Parser (PPP) technique. PPP performs morphological, syntactic and semantic, and lexical analysis of text synchronou...

Fundus photography in adults and cooperative children is possible with a fundus camera or by using a slit lamp-mounted digital camera. Retcam TM or a video indirect ophthalmoscope is necessary for fundus imaging in infants and young children under anesthesia. Herein, a technique of converting and using a digital video camera into a video indirect ophthalmoscope for fundus imaging is described. ...

The UML has grown in popularity as the standard modeling language for describing software applications. However, UML lacks the formalism of a rigid semantics, which can lead to ambiguities in understanding the specifications. We propose a grammar-based approach to validating class diagrams and illustrate this technique using a simple case-study. Our technique involves converting UML representat...

A major challenge in the field of case-based reasoning is building case libraries representative of the state space the system will encounter. We approach this problem by automating the process of converting expert demonstrations, in the form of game replays, into cases. To achieve this, we present a technique for annotating traces with goals that can be used by a case-based planner. We have im...