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…

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…

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 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…

In this paper we explore the degree to which patents are representative of the magnitude,
direction, and impact of the knowledge spilling out of the university by focusing on MIT, and in particular on the departments of Mechanical and Electrical…

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…

The purpose of this paper is to introduce patent litigation as a leading indicator of market
growth. We model the intensity of patent litigation and the market growth for the
personal computer and cellular phone market in the US. By…

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…