A speech controlled animation system is both a useful application program as well as a laboratory in which to investigate context aware applications as well as controlling errors. The user need not have prior knowledge or experience in animation and…

Modern processors rely on cache memories to reduce the latency of data accesses. Extensive cache misses would thus compromise the usefulness of the scheme. Cache-aware algorithms make use of the knowledge about the cache, such as the cache line size,…

We propose an information extraction framework to support automated construction of decision models in biomedicine. Our proposed technique classifies text-based documents from a large biomedical literature repository, e.g., MEDLINE, into predefined categories, and identifies important keywords for each category based…

Cycle-to-cycle control is a method for using feedback to improve product quality for processes that are inaccessible within a single processing cycle. This limitation stems from the impossibility or the prohibitively high cost of placing sensors and actuators that could…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

Previous research on corporate household and corporate householding has presented
examples, literature review, and working definitions. In this paper, we first improve our
understanding of the area by developing a typology of corporate householding tasks
and knowledge…

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…