Human interactions with geographical information are contextualized by problem-solving activities which endow meaning to geospatial data and processing. However, existing spatial data models have not taken this aspect of semantics into account. This paper extends spatial data semantics to include not only the contents and schemas, but also the contexts of their use. I specify such a semantic mo...

Human interactions with geographical information are contextualized by problem-solving activities which endow meaning to geospatial data and processing. However, existing spatial data models have not taken this aspect of semantics into account. This paper extends spatial data semantics to include not only the contents and schemas, but also the contexts of their use. We specify such a semantic m...

Contextualization of Geospatial Database Semantics Written by Administrator Thursday, 19 May 2011 07:40 Last Updated Friday, 04 October 2013 17:19 Human interactions with geographical information are contextualized by problem-solving activities which endow meaning to geospatial data and processing. However, existing spatial data models have not taken this aspect of semantics into account. This ...

this study investigates and compares the efficacy of differentiated instruction and traditional-based instruction on enhancing iranian students’ reading comprehension. eight elementary, intermediate, and advanced classrooms from 1 language institute were chosen, and based on their performance on the pretests were further divided into 4 control and 4 treatment groups. flexible grouping, tiered i...

Past fMRI research has demonstrated that to understand other people's behavior shown visually, the mirror network is strongly involved. However, the mentalizing network is also recruited when a visually presented action is unusual and/or when perceivers think explicitly about the intention. To further explore the conditions that trigger mentalizing activity, we replicated one of such studies (d...

In this paper a generic speci cation for verifying local optimizations on machine code peephole optimization using the speci cation and veri ca tion system PVS is presented The scheme which provides useful de nitions basic properties and user de ned proof strategies abstracts from the speci c instruction set of a machine as well as from its semantics In addition we formally represent a stack ma...

THE present experiment is a replication of an earlier study by McNeil and Keislar (5) in which oral and non-oral methods of teaching read ing were investigated utilizing an autoinstructional device. In the present de sign, the procedures are similar to the earlier study but the conditions and materials are more akin to current classroom instruction; some changes were necessary in the transition...