The TRACER project addresses the problem of automatically reconstructing the 3D structure of neurons (brain cells) from sets of serial section electron micrographics.
The problem of reconstructing the three-dimensional structure of an object from a set of two-dimensional images arises in medicine, biology, and other fields.
Description of an automatic teleprinter switching system recently introduced in the Netherlands.
Generalized model checking is a framework for reasoning about partial state spaces of concurrent reactive systems.
The Automatic Backup, Archive and Recovery System (ABARS) provides system administrators and users with an automatic system for backing up and restoring UNIX(R) system files onto and from optical d
This paper presents a method for online tracking of a camera's orientation within a man-made scene.
The relationship between the intonational characteristics of an utterance and other features inferable from its text represents an important source of information both for speech recognition, to co
We integrate an improved colorless thermooptic-lens-based tunable dispersion compensator (tuning range of ±160 ps/nm) with a tunable amplified spontaneous emission filter on a single silica wavegui
In this paper we present COLOMBO, a framework in which web services are characterized in terms of (i) the atomic processes (i.e., operations) they can perform; (ii) their impact on the "real world"
In this paper we present COLOMBO, a framework where web services are characterized in terms of (i) message exchanges, (ii) data flow, and (iii) effects on the real world.
