For more than ten years, many people (including myself) have been advocating the use of "Remote Procedure Calls" (RPC) as the primary technique for communication among the components of a distributed system. Many researchers have explored the design space for RPC, and they have writtenmany…
As automatic speech recognition systems are finding their way into practical applications it is becoming increasingly clear that they must be able to accommodate a variety of acoustical environments. This paper describes two algorithms that provide robustness for automatic speech recognition systems in a fashion…
In recent years, the computer science community has realized the advantages of GUIs (graphical user interfaces). Because high-quality GUIs are difficult to build, support tools such as UIMSs, UI Toolkits and Interface Builders have been developed. Although these tools are powerful, they typically make two…
Traditional operating systems typically provide a number of flat, non-object oriented interfaces through which system services are provided to applications. Two such examples are the UNIX system call interface and X Window System protocol. Typically such services are provided by large, monolithic implementations, through inheritance…
Traditional operating systems typically provide a number of flat, non-object oriented interfaces through which system services are provided to applications. Typically such services are provided by large, monolithic implementations, with no provision for deriving related implementations through inheritance or other means. Nonetheless, it is possible…
My candidate for the list of important paradigms for distributed computing is the concept of a "clerck". A clerck is software that provides distribution, replication, and location transparency to client programs (applications) in distributed systems. A clerck exports a service interface to a client. The…
We have incorporated on-line data compression into the low levels of a log-structured file system (Rosenblum’s Sprite LFS). Each block of data or meta-data is compressed as it is written to the disk and decompressed as it is read. The log-structuring overcomes the problems of…
We present a computational technique for combatting junk mail in particular and controlling access to a shared resource in general. The main idea is to require a user to compute a moderately hard, but not intractable, function in order to gain access to the resource,…
Evaluating the performance of stereo algorithms, both in terms of robustness and precision, is of critical importance as they become more amenable to practical applications. It is, however, a hard task because no unified testbed exists. In this paper, we use the algorithms that have…
We present a method for estimating 3-D displacements from two stereo frames. It is based on the hypothesize-and-verify paradigm used to match 3-D line segments between the two frames.
For a number of years, I was a member of a committee that planned an annual workshop at Lake Arrowhead, in southern California. I was finally pressured into organizing a workshop myself. I got Brent Hailpern to be chairman of a workshop on specification and…
The certainty-factor (CF) model is a method for managing uncertainty in rule-based systems. Shortliffe and Buchanan (1975) developed the CF model in the mid-1970s for MYCIN, an expert system for the diagnosis and treatment of meningitis and infections of the blood. Since then, the CF…
