In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and the existing maps. In other words, we need to reference these images. In this paper, we propose new methods for automatic referencing of satellite and radar images.

This article reviews the impact of modern theoretical views on our understanding of the nature and purpose of the grammar of Pāṇini (ca. 350 BCE), and argues that new possibilities for progress open up for our understanding of this ancient grammar by confronting it not with the presuppositions of generative grammar as has been done – with undeniable but limited theoretical profit -in the last f...

The building materials that help designers or architects achieve their goal of defining and enclosing space are usually concrete, steel, glass or wood. For these materials designers have both empirical data gained from experience and at times complex calculation methods enabling them to use them in their designs in a tangible, reckonable and, consequently, almost risk-free manner. It seems obvi...

We present an in-depth analysis of a method for automatically scoring the prosody of non-native speech. For studying its suitability for different application scenarios, we perform a systematic comparison of different evaluation schemes such as text (in-)dependence and/or speaker (in-)dependence. The focus lies on methodological issues, with the aim of promoting the careful evaluation of automa...

ABSTRACT: In this paper, a complete construction of quaternary complex Hadamard matrices of order 2 n is obtained using the method of Sylvester construction and Williamson construction. Williamson construction has been generalized to obtain any kind of Hadamard matrices (Complex or Real Numbers). Non-equivalent family of Hadamard Matrices can be obtained using the Generalized Williamson constru...

Church’s Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence α into an infinite sequence β such that a requirement on (α, β), expressed in monadic second-order logic, is satisfied. We explain how three fundamental techniques of automata theory play together in a solution of Church’s Problem: Determinization (starting from the ...

In recent years there has been an increasing tendency to recycle the wastes generated by building companies in the construction industry, demolition wastes being the most important in terms of volume. The aim of this work is to study the possibility of using recycled aggregates from construction and demolition wastes in the preparation of precast non-structural concretes. To that purpose, two d...

The inversion method proposed by Glück and Kawabe uses grammar programs as intermediate results that comprise sequences of operations (data generation, matching, etc.). The determinization method used in the inversion method fails for a grammar program of which the collection of item sets causes a conflict even if there exists a deterministic program equivalent to the grammar program. In this p...

This paper presents implementations of generative management method for morphological variation of query keywords. The method is called FCG, Frequent Case Generation. It is based on the skewed distributions of word forms in natural languages and is suitable for languages that either have fair amount of morphological variation or are morphologically very rich. The paper reports implementation an...

This paper presents a semi-automatic approach to acquire a computational construction grammar from the semi-formal Swedish Constructicon. The implementation is based on the resource grammar library provided by Grammatical Framework and can be seen as an extension to the existing Swedish resource grammar. An important consequence of this work is that it generates feedback, explicit and implicit,...