First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for t...

Scalable video coding is important in a number of applications where video needs to be decoded and displayed at a variety of spatial and temporal resolution scales or when resilience to errors is necessary. In this paper, we investigate a temporaldomain approach for resolution scalable video coding. This approach was originally proposed to and since then has been included in the Moving Picture ...

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...