We investigated the accuracy of spatial basis function normalization using anatomical landmarks to determine how precisely homologous regions are colocalized. We examined precision in terms of: (1) the number of nonlinear basis functions used by the normalization procedure; (2) the degree of (Bayesian) regularization; and (3) the effect of substituting different templates and how this interacte...

We present new results about the temporal-difference learning algorithm, as applied to approximating the cost-to-go function of a Markov chain using linear function approximators. The algorithm we analyze performs on-line updating of a parameter vector during a single endless trajectory of an aperiodic irreducible finite state Markov chain. Results include convergence (with probability 1), a ch...

     Diurnal air temperature modeling is a beneficial experimental and mathematical approach which can be used in many fields related to Geosciences. The modeling and spatio-temporal analysis of air Diurnal Temperature Cycle (DTC) was conducted using data obtained from 105 synoptic stations in Iran during the years 2013-2014 for the first time; the key variable for controlling the cosine term i...

This study was conducted to identify drought event and its emerging regions in Markazi desert, Iran with focus onSemnan province in a 30 years statistical period. In this research, 61 stations having adequate data selected and usedafter extracting annual statistic from monthly and daily data. Standardized precipitation index values for each stationwere calculated and classified. The Results hav...

Temporal databases maintaining history data on e extend conventional databases with capabilities for historical querws and rollback operations4 To analyse the performance of temporal queries on the database ping various access methods, tq propose a model consisting of four transformations through a sekies of intermediate expressions based on characteristics of database/relations and storage dev...

To perform veriication of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analysis technique which accepts a behavioral speciication of the timing of a digital system and generates the set of all possible behaviors for the system. The ability to represent and reason about time ranges for events ...

This paper presents the 2005 MIRACLE’s team approach to CLEF QA with Spanish as a target task using miraQA system. The system is based on answer extraction and uses mainly syntactic patterns and semantic information. Six runs were submitted for Spanish, English and Italian as source languages using commercial translation software. The system performs reasonably well for Spanish factual question...

High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the scene. One component of spatial reasoning deals with the modeling and assesment of spatial relations among objects. In this work we propose three models that seize the semantics of the spatial relations “to go across” and...

Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation language. In this paper we extend the temporal analysis of Chisholm's paradox using a deontic logic that combines temporal and preferential notions.