I deļ¬ne and implement a model of rational action for automated reasoning systems that makes use of ļ¬exible approximation methods and decision-theoretic procedures to determine how best to solve a problem under bounded computational resources. The model provides a perspective on the use of metareasoning…
This paper uses the results from [25] to derive a couple of algorithms for reading and writing multi-word clocks. These algorithms are in the same vein as the ones in [25], involving reading and writing multi-digit numbers in opposite directions. In fact, I think I…
In this paper we report our initial efforts to make SPHINX, the CMU continuous-speech speaker-independent recognition system, robust to changes in the environment. To deal with differences in noise level and spectral tile between close-talking and desktop microphones, we propose two novel methods based on…
This paper examines the choices for semantic level and granularity that have been made in the Echo distributed file system. The primary goals of Echo are to explore issues of scaling, availability, and performance. For scaling and uniformity of access, Echo provides a global, hierarchical…
Reprinted in 1993 World Scientific book Current Trends in Theoretical Computer Science pages 254-265.
This is the beginning of a note that states and proves a relative completeness result for the axioms of TLA in the absence of temporal existential quantification (variable hiding). (The ancient LaTeX macros used to format the note only work on the first part. A…
In 1990, CACM published one of their self-assessment procedures, this time on concurrent programming. The "correct" answer to one of the questions implied that mutual exclusion can be implemented only using atomic operations that are themselves implemented with lower-level mutual exclusion. It seemed appropriate to…
This dissertation describes a number of algorithms developed to increase the robustness of automatic speech recognition systems with respect to changes in the environment. These algorithms attempt to improve the recognition accuracy of speech recognition systems when they are trained and tested in different acoustical…
At SRC we have been exploring the provision and use of fault tolerance in the basic facilities of a distributed system - the physical communications, the name service and the file service. We now have research prototypes of each of these, and we are starting…
During the last decade, computer scientists have made significant progress in developing techniques for storing and retrieving information, and for solving difficult inferential problems with computer-based reasoners. The growth in the power of computer processors, and the parallel decline of the cost of computer memory,…
A graph G = (V, E) is said to be an interval graph if each vertex in the graph can be associated with an interval in the real line such that two vertices are adjacent in the graph iff the two corresponding intervals intersect. The…
A new method for automatic indexing and retrieval is described. The approach is to take advantage of implicit higher-order structure in the association of terms with documents ("semantic structure") in order to improve the detection of relevant documents on the basis of terms found in…
