I present a new heuristic search approach to compute approximate answers for the probability query in belief nets. This approach can compute the 'best' bounds for a query in a period of any given time (if time permitted, it will get an exact value). It inherits the essence of Symbolic...
This paper describes Schemer, a hierarchical software architecture for Real Time problem solving. Real time applications must be able to react to critical events quickly, and be able to explore simultaneous solutions in response to, or, in anticipation of such events.
Schemer, which is a Blackboard-like architecture, addresses the aforementioned...
While much work has been done in estimating software reliability, little attention is paid to predict reliability as early as at the design time. In this report, we present our initial research results of building an early stage software reliability prediction model.
In Part I, we will first investigate and...
............................................................................................... 41
I
)
) 111
J
ACKNOWLEDGMENTS
I wish to especially thank my advisor, Dr . Bruce D
Hayes, in his Naive Physics Manifesto, identified two alternate ontologies for reasoning about liquids, an ontology based on the notion of a contained substance and one based on the notion of a molecular collection. Qualitative Process theory, proposed by Forbus, lends itself easily to encoding the contained substance ontology. It...
In this paper we outline an implementation of Linda on a network of Unix workstations. A literature survey was done to gain a better perspective on state of the art and to learn from the experiences of other implementations. The tuple space which is central to the Linda system is...
The project aims at building an application that would simulate a transparency that can either be overlaid on top of the graphical display of another application or used as a stand-alone by accepting input from a keyboard or a mouse to enhance a presentation. The project provides an environment to...
References are given for illustrations in the second edition of Macrolichens of the Pacific Northwest. For each illustration, we list the photographer or illustrator, the specimen photographed, where the specimen was from, collector, collection number, and herbarium.
We present an in-depth case study of a learning network that aims to transform infrastructure and practice across the research enterprise to advance societal impacts. The theory of social morphogenesis guides our processual qualitative analysis of the network. We describe how different types of boundary work, both building and navigating...