We examine semantic interoperability problems in the fixed income securities industry
and propose a knowledge representation architecture for context interchange
mediation to support dynamic integration of autonomous database, web, and
procedural sources of information. For sources and…

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…

Micro embossing is the process of fabricating micron-sized features by plastic deformation of a work piece by means of a shaped tool or die. In our work we are concerned with hot embossing of PMMA to produce features in the…

This thesis integrates hardware development, data analysis, and mathematical modeling to facilitate our understanding of brain cognition. Exploration of these brain mechanisms requires both structural and functional knowledge to (i) reconstruct the spatial distribution of the activity, (ii) to estimate…

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…

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…