This paper presents a definition question answering approach, which is capable of mining textual definitions from large collections of documents. In order to automatically identify...
- Since the Topic Map standard describes a prospective knowledge-structuring model that can be used in a huge variety of knowledge domains the amount of applications utilizing this...
A multimedia server delivers presentations (e.g., videos, movies, games), providing high bandwidth and continuous real-time delivery. In this paper we present techniques for reduc...
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...