SystemVerilog assertion (SVA) is widely used for verifying properties of hardware designs. This paper presents a new method of generating SVAs from natural language assertion descriptions. For capturing the temporal semantics in natural language descriptions, we develop a new logical form called simple interval temporal logic (SIT L) which can deal formally with temporal constructions such as t...

in order to provide climatology atlas of frosts statistical properties of iran and to attain spatial and temporal pattern of it, daily data of minimum temperature of 62 synoptic weather stations for a 15 year-period (1991-2007) from october to may, were adopted from iran meteorological organization. by choosing may 1st as basis day, five statistical properties and their spatial and temporal dis...

The paper presents a new model for contextdependent interpretation of linguistic expressions about spatial proximity between objects in a natural scene. The paper discusses novel psycholinguistic experimental data that tests and verifies the model. The model has been implemented, and enables a conversational robot to identify objects in a scene through topological spatial relations (e.g. “X nea...

A novel language visualization system is presented here that is capable of understanding some concrete nouns, visualizable adjectives and spatial prepositions in full natural language sentences to generate 3D scenes. The system has a rule based question answering component and it can answer spatial inference questions about the scene created by these sentences. This work is the first step of ou...

The cognitive function of mental images with respect to the referential aspect of language is examined and used in the listener model ANTLIMA of the natural language system SOCCER. An operational realization of the reference relation used to recognize instances of spatial concepts in the results of a vision system and also to visualize locative expressions is presented and compared to A. Hersko...

Information retrieval (IR) techniques become a challenge to researchers due to huge growth of digital and information retrieval. As a wide variety of Hindi Data and Literature is now available on web, we have developed information retrieval system for Hindi documents. This paper presents a new searching technique that has promising results in terms of F-measure. Historically, there have been tw...

In the cognitive neuroscience literature on the distinction between categorical and coordinate spatial relations, it has often been observed that categorical spatial relations are referred to linguistically by words like English prepositions, many of which specify binary oppositions-e.g., above/below, left/right, on/off, in/out. However, the actual semantic content of English prepositions, and ...