Languages for event specification in centralized systems and their semantics have received considerable attention in the literature. In contrast, very little work exists on extending the semantics of event specification languages to distributed environments. This paper provides a well-defined notion of distributed composite time stamps and their least restricted strict ordering are defined. The...

In this paper, we investigate the task of translating spontaneous speech transcriptions by employing aligned movie subtitles in training a statistical machine translator (SMT). In contrast to the lexical-based dynamic time warping (DTW) approaches to bilingual subtitle alignment, we align subtitle documents using time-stamps. We show that subtitle time-stamps in two languages are often approxim...

Recent attacks and publications have shown the vulnerability of hierarchical Public Key Infrastructures (PKIs) and the fatal impact of revoked Certification Authority (CA) certificates in the PKIX validity model. Alternative validity models, such as the extended shell and the chain model, improve the situation but rely on independent proofs of existence, which are usually provided using time-st...

POSTAGE stamps of ophthalmological interest include portrait figures of two practising ophthalmologists, Ferdinand Ritter von Arlt (1812-87) and Franz Cornelius Donders (1818-89). Four further portrait figures of scientists who have directly or indirectly contributed greatly to ophthalmology are shown in the stamps commemorating Johannes Evangelista Purkinje (1787-1869), Hermann von Helmholtz (...

Tuberculosis, only a few decades ago, was believed to be under control and decreasing in incidence, in both developed and developing countries. A number of scientists and physicians have contributed to the understanding of tuberculosis and have been honored on postage stamps by several countries around the world. This article contains brief histories of these individuals and depictions of the p...

The problem of stamp recognition addressed here involves a multi-stage approach which includes stamp detection, localization and segmentation, features extraction and finally, classification. In this paper we focus on the two last stages, namely features extraction by means of Point Distance Histogram and Discrete Cosine Transform, and classification employing distance calculation by means of E...

The aim of this paper is to outline a combinatorial structure appearing in distributed computing, namely a directed graph in which a certain family of subsets with k vertices have a successor. It has been proved that the number of vertices of such a graph is at least 2 k ? 1 and an eeective construction has been given which needs k2 k?1 vertices. This problem is issued from some questions relat...