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...
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...
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...
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...
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...
Experimental test beds to study Real Time agents are common topic in AI. A principal contribution of this paper is to develop a framework for such experimental test beds. Design and implementation of the test bed and the extension of the framework for different equipment and agents are discussed. Results...
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...
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...