This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] — systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems...

In source routing, a complete path is chosen for a packet to travel from source to destination. While computing the time to traverse such a path may be straightforward in a fixed, static graph, doing so becomes much more challenging in dynamic graphs, in which the state of an edge in one time slot (i.e., its presence or absence) is random, and may depend on its state in the previous time step. ...

The plethora of information available to today’s users due to the Internet phenomenon has brought forth an associated concern, namely, determination of the trustworthiness of information. Provenance information, such as who is responsible for the data or how the data came to be, plays a pivotal role in addressing this concern by providing additional facts that could serve as a basis for establi...

It would be desirable, in terms of energy conservation, to use one low complexity, approximate algorithm to do all discrete cosine transform (DCT) and inverse discrete cosine transform (IDCT) computation in an MPEG-2 video codec. However, there is a significant quality penalty associated with this approach that may not always be acceptable. A technique that applies both exact and approximate DC...

The Moderate Resolution Imaging Spectroradiometer (MODIS), with 36 bands and 0.25-, 0.5-, and 1.0-km geometric instantaneous-fields-of-view (GIFOV’s) at nadir, has completed system level testing and has been integrated onto the Earth Observing System (EOS)-AM1 spacecraft, which is slated for launch in 1998. Raytheon Santa Barbara Remote Sensing (SBRS), Goleta, CA, the MODIS developer, has perfo...

A new era of automatic train control has begun, in which mass transit trains will be commanded with precision beyond the capabilities of past systems. Although transit properties such as San Francisco's Bay Area Rapid Transit (BART) have controlled their trains automatically for decades, the control systems have limited capability. Increases in capacity now require trains to run closer together...

As part of a continuing effort to validate the radiometric scales assigned to integrating sphere sources used in the calibration of Earth Observing System (EOS) instruments, a radiometric measurement comparison was held in May 1998 at Raytheon/Santa Barbara Remote Sensing (SBRS). This comparison was conducted in support of the calibration of the Moderate Resolution Imaging Spectroradiometer (MO...

This paper investigates how formal techniques can be used for the analysis and veriication of hybrid systems 1,5,7,16] | systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems i...

In this paper we present a way to use precision and recall measures in total absence of ground truth. 1 Precision and Recall 1.1 General Definitions and Notation Precision Pr and Recall Rc (and often associated F-measure or ROC curves) are standard metrics expressing the quality of Information Retrieval methods [8]. They are usually expressed with respect to a query q (or averaged over a series...

A direct measurement of the extragalactic background light (EBL) can provide important constraints on the integrated cosmological history of star formation, metal and dust production, and the conversion of starlight into infrared emission by dust. In this paper we examine the cosmological implications of the recent detection of the EBL in the 125 to 5000 μm wavelength region by the Diffuse Infr...