GI science development has to be served by an effective GI theory. Development of GI theory requires clear characterisation of GI domain to demonstrate real world effectively and also provide a framework for delineation of rational hypotheses. This requirement is met in recent researches through using mathematics as the basis of GI theory. Axiomatic set theory and formal logic are the foundatio...

Syntax-based distributional models of lexical semantics provide a flexible and linguistically adequate representation of co-occurrence information. However, their construction requires large, accurately parsed corpora, which are unavailable for most languages. In this paper, we develop a number of methods to overcome this obstacle. We describe (a) a crosslingual approach that constructs a synta...

We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construction used in modelchecking techniques [CGP99]. The basic idea sounds utterly simple, as seen on the case of sequential composition: in P ;Q, first compute entirely the states reached in P , and then only carry on to Q,...

This paper highlights the role of Space Syntax as a method to analyze spatial quality in Low-income Housing (L-iH) Malaysia. schemes such People’s Project (PPR) have been one government’s approaches coping with housing shortage Klang Valley. These L-iH reported be unsatisfactory inhabitants’ comfort, social and cultural needs. It is therefore crucial investigate relationship between space occup...

This paper reports on an on-going project, which is investigating the role that location plays in the visibility of information presented on a public display. Spatial measures are presented, derived from the architectural theory of Space Syntax. These are shown to relate to the memorability of words and images presented on different displays. Results show a complex pattern of interactions betwe...

With the gradual deepening of National Rural Revitalization Strategy, investment, tourism traditional natural villages has become a hot spot in recent years. Taking village renewal Longtan Village Guizhou Province as an example, this paper uses space syntax theory and method to establish axis model horizon by using Depthmap software analyze integration value, depth values, connection value line...

Land price contains the comprehensive characteristics of urban space, representing the social and economic features of the city. Accordingly, land price can be utilized as an indicator, which can identify the changes of spatial structure and socioeconomic variations caused by urban development. This study attempted to explore the changes in land price by a new road construction. Methodologicall...

Tuple reduction is the basic mechanism used in SPKI to make authorisation decisions. A basic problem with the SPKI authorisation syntax is that straightforward implementations of tuple reduction are quadratic in both time and space. In the paper we introduce a restricted version of the SPKI authorisation syntax, which appears to conform well with practice, and for which authorisation decisions ...

BACKGROUND Inconsistent associations of neighbourhood walkability with adults' body weight have been reported. Most studies examining the relationships of walkability and adiposity are cross-sectional in design. We examined the longitudinal relationships of two walkability indices - conventional walkability and space syntax walkability, and their individual components, with weight change among ...