Search

This paper proposes a user interface for remote access of the National Library of Medicine's Visible Human digital image library. Users can visualize the library, browse contents, locate data of interest, and retrieve ...

Recent manufacturing advancements have allowed designers to create ceramic materials with tightly controlled microstructures and compositions. Some advantageous properties of these materials are their light weight, high ...

All mechanical designs pass through a series of formal and informal redesign steps, involving the analysis of functionality, manufacturability, cost and other life-cycle factors. The speed and efficacy of these steps has ...

Since best-first search algorithms such as A* require large amounts of memory, they sometimes cannot run to completion, even on problem instances of moderate size. This problem has led to the development of limited-memory ...

We have studied two-person stochastic differential games with multiple modes. For the zero-sum game we have established the existence of optimal strategies for both players. For the non- zero sum case we have proved the ...

Due to the increasing complexity of analog circuits, finding out whether an analog circuit meets the required specification is a difficult and time consuming task. We propose a complete Build- In Self-Test and Fault-Diangosis ...

Although AI planning techniques can potentially be useful in several manufacturing domains, this potential remains largely unrealized. Many of the issues important to manufacturing engineers have not seemed interesting to ...

The rank revealing URV decomposition is an effective tool in many signal processing applications that require the computation of the noise subspace of a matrix. In this paper, we consider a parallel architecture for updating ...

We examine the estimation of selectivities for range and spatial join queries in real spatial databases. As we have shown earlier [FK94a], real point sets: (a) violate consistently the ﲵniformity' and ndependence' ...

This paper describes a new admissible tree search algorithm called Iterative Threshold Search (ITS). ITS can be viewed as a much-simplified version of MA*[2], and a generalized version of MREC [15]. ITS's node selection ...