Now showing items 1-10 of 396
PSPACE-completeness of Modular Supervisory Control Problems*
(Kluwer Academic Publishers; Springer Science + Business Media, Inc., 2005-06)
In this paper we investigate computational issues associated with the supervision of concurrent processes modeled as modular discrete-event systems. Here, modular discrete-event systems are sets of deterministic finite-state ...
Statistical Emission Image Reconstruction for Randoms-Precorrected PET Scans Using Negative Sinogram Values
(IEEE, 2003-10-19)
Many conventional PET emission scans are corrected for accidental coincidence (AC) events, or randoms, by real-time subtraction of delayed-window coincidences, leaving only the randoms-precorrected data available for image ...
An extensible probe architecture for network protocol performance measurement
(John Wiley & Sons, Ltd., 2004-01)
This paper describes the architecture, implementation, and application of Windmill, a passive network protocol performance measurement tool. Windmill enables experimenters to measure a broad range of protocol performance ...
Scalable Linux Scheduling
(Center for Information Technology Integration, 2001-05-01)
For most of its existence, Linux has been used primarily as a personal desktop operating system. Yet, in recent times, its use as a cost-efficient alternative to commercial operating systems for network servers, distributed ...
Extending NFSv4 for Petascale Data Management
(Center for Information Technology Integration, 2006-05-01)
Designed with Internet data management in mind, NFSv4 is meeting the needs of widely distributed collaborations. Anticipating terascale and petascale HPC demands, NFSv4 architects are designing pNFS, a standard extension ...
Effect of Including Detector Response in SPECT Quantification of Focal I-131 Therapy
(IEEE, 2001-11-04)
With a regularized strip-integral (1D) SAGE reconstruction, circular-orbit SPECT estimates of phantom focal 131-I activity vary with changes in the level of uniform background. They also vary with changes in image resolution ...
Intensity-Based Image Registration Using Robust Correlation Coefficients
(IEEE, 2004-11-01)
The ordinary sample correlation coefficient is a
popular similarity measure for aligning images from the same
or similar modalities. However, this measure can be sensitive to
the presence of “outlier” objects that appear ...
Incorporation of System Resolution Compensation (RC) in the Ordered-Subset Transmission (OSTR) Algorithm for Transmission Imaging in SPECT
(IEEE, 2006-06-26)
In order to reconstruct attenuation maps with improved spatial resolution and quantitative accuracy, we developed an approximate method of incorporating system resolution compensation (RC) in the ordered-subset transmission ...
Predicting the Expected Behavior of Agents that Learn About Agents: The CLRI Framework
(Kluwer Academic Publishers; Springer Science+Business Media, 2003-01)
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the progression of an agent's error in its ...
Secure Coprocessor Integration with Kerberos V5
(Center for Information Technology Integration, 2000-03-22)
The nightmare of Trusted Third Party (t3P) based protocol users is compromise of the T3P. Because the compromised T3P can read and modify any user information, the entire user group becomes vulnerable to secret revelation ...