Now showing items 11-20 of 42
A Paraboloidal Surrogates Algorithm for Convergent Penalized-Likelihood Emission Image Reconstruction
(IEEE, 1998-11-08)
We present a new algorithm for penalized-likelihood emission image reconstruction. The algorithm monotonically increases the objective function, converges globally to the unique maximizer, and easily accommodates the ...
Integrating reliable memory in databases
(Springer-Verlag; Springer-Verlag Berlin Heidelberg, 1998-08)
Recent results in the Rio project at the University of Michigan show that it is possible to create an area of main memory that is as safe as disk from operating system crashes. This paper explores how to integrate the ...
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-12)
A fundamental relationship between the controllability of a language with respect to another language and a set of uncontrollable events in the Supervisory Control Theory initiated by (Ramadge and Wonham, 1989) and ...
Smartcard Integration with Kerberos V5
(Center for Information Technology Integration, 1998-12-03)
We describe our design and implementation of smartcard integration with Kerberos V5. Authentication is among the most important applications for smartcards and is one of the critical requirements for computer security. By ...
Stability robustness in closed loop vibrational control
(John Wiley & Sons, Ltd., 1998-10)
In this paper, we consider the robust stability analysis and synthesis problems for closed-loop vibrational control. In the analysis problem, we derive an upper bound on the allowable unstructured uncertainty which preserves ...
Estimating Water Stored in Soil and Vegetation Using LSP/R Models and Assimilated Satellite Radiobrightness
(University of Michigan. Radiation Laboratory, 1998-05)
The Packet Vault: Secure Storage of Network data
(Center for Information Technology Integration, 1998-06-25)
This paper describes the packet vault, a cryptographically secured archiver of network packet data. The vault captures network packets, encrypts them, and writes them to long-term CD-ROM storage for later analysis and ...
Integrated Premission Planning and Execution for Unmanned Ground Vehicles
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-03)
Fielding robots in complex applications can stress the human operators responsible for supervising them, particularly because the operators might understand the applications but not the details of the robots. Our answer ...
A cellular wireless local area network with QoS guarantees for heterogeneous traffic
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-03)
A wireless local area network (WLAN) or a cell with quality‐of‐service (QoS) guarantees for various types of traffic is considered. A centralized (i.e., star) network is adopted as the topology of a cell which consists of ...
Comments on “The Convergence of Mean Field Procedures for MRF's”
(IEEE, 1998-06)
The author comments that Zhang (see ibid., vol.5, no.12, p.1662-65, 1996) attempts to establish the convergence of a mean field iteration for an Ising Markov random field (MRF) for large values of the hyperparameter value ...