The objective of this study is to improve quality and reliability of safety-critical software in the nuclear industry. It is accomplished by focusing on the following two areas: Formulation of a standard extensive integrated software testing strategy for safety-critical software,…

This paper addresses the problem of recovering relative structure, in the form of an invariant, referred to as projective structure, from two views of a 3D scene. The invariant structure is computed without any prior knowledge of camera geometry, or…

To recognize a previously seen object, the visual system must overcome the variability in the object's appearance caused by factors such as illumination and pose. Developments in computer vision suggest that it may be possible to counter the influence of…

An investigation was carried out on the contents of the architectural texts in order to illuminate written architectural knowledge. The thesis takes as its case study the required reading list for Introduction to Architecture course at Yale College, Yale University,…

This paper presents an adaptive learning model for market-making under the reinforcement learning framework. Reinforcement learning is a learning technique in which agents aim to maximize the long-term accumulated rewards. No knowledge of the market environment, such as the order…

by Kazunori Yamagata., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2002., Includes bibliographical references (leaves 95-99).

(cont.) which is expected, given their additional knowledge resources. The respondents' urgency in looking for the relevant knowledge is the primary explanation for this difference between the two networks. This difference in knowledge networking among the different groups did not…

This paper presents a knowledge-based approach to
reducing impediments to collaboration in a
distributed environment. A major impediment to
such collaboration is the issue of communications -
clearly and efficiently expressing the desires of every
stakeholder in the process, as…

SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging…

by Guru Prasanna., Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2001., Page 123 blank., Includes bibliographical references (p. 121-122).