We describe progress in the first year of the EMRS DTC TEP theme project entitled “Temporal Resolution Enhancement from Motion”. The aim is to develop algorithms that combine evidence over time from a sequence of images in order to improve spatial resolution and reduce artefacts. A C++ implementation of an initial algorithm has been developed, allowing assessment of the new algorithm against a ...

In this paper we show how to extend clausal temporal resolution to the ground eventuality fragment of monodic first-order temporal logic, which has recently been introduced by Hodkinson, Wolter and Zakharyaschev. While a finite Hilbert-like axiomatization of complete monodic first order temporal logic was developed by Wolter and Zakharyaschev, we propose a temporal resolutionbased proof system ...

Temporal resolution is a key factor for imaging rapidly occurring events in biology. In this feature article, I investigate an approximate estimate for determining the temporal resolution limit. The condition that led to this limit is, the time taken by the ensemble (99.9%) of excited molecules to relax to ground state, assuming all the emitted photons are detected. In a simplistic three-level ...

The ability to identify and analyse temporal information is important for a variety of natural language applications, such as information extraction, question answering and multi-document summarisation. This paper discusses the automatic annotation of temporal information in newswire texts. The temporal tagger adheres to a framework initially designed for anaphora resolution and recently adapte...

This paper aims to retrieve temporal high-resolution LAI derived by fusing MOD15 products (1 km resolution), field-measured LAI and ASTER reflectance (15-m resolution). Though the inversion of a physically based canopy reflectance model using high-resolution satellite data can produce high-resolution LAI products, the obstacle to producing temporal products is obvious due to the low temporal re...

various dimensions of the human vestibular aqueduct were evaluated in two groups, patient and control, and these measurements were compared. both groups were examined clinically, followed by audiometric evaluation and temporal bone high resolution ct scan. it was found that in approximately one third of the patient group (with idiopathic snhl), the vestibular aqueduct was 1.5 mm or larger. also...

cardiovascular disease remains the principal cause of death in the modernized world.   several novel noninvasive imaging techniques have been recently developed to improve diagnosis of cardiac and coronary disease.   of these advances, multidetector computed tomographic (mdct) angiography has evolved most dramatically to transform computed tomography from a single-slice trans-axial modality to ...

The generation of too much information prohibits eecient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher for propositional linear-time temporal logics, further m...