This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit…

The post-September 11th economy has confronted Rockwell Collins in Cedar Rapids, Iowa with hard choices. Faced with the need to cut costs, including laying off significant portions of the work force, the company and its unions still maintain a commitment…

If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…

This paper presents an intelligent, hybrid system for stamping process planning in progressive die design. The system combines the flexibility of blackboard architecture with case-based reasoning. The hybrid system has the advantage that it can use past knowledge and experience…

This paper presents a knowledge-based approach for capturing data and rationale, so
that the experience and insights gained while pursuing a major project or endeavor can
be utilized when pursuing future endeavors of a similar nature. The proposed

Andreas Gast, Donald R. Lessard., "Presented at the 1997 SMS Conference in Barcelona, Spain.", Includes bibliographical references (p. 28-32).

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…

As a growing number of firms , especially those in the United States, outsource more of their professional services across geographic and temporal boundaries. Using a multi-faceted framework for this study, this paper shows that very careful analysis is needed…

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…

by Peter L. Grant., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2000., Includes bibliographical references (p. 105-108).