To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about the internal…

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

This study presents the results of an empirical test of two hypotheses concerning the
quality of a group of data processing patents on methods of doing business. The
hypotheses are motivated by two frequently voiced criticisms of these…

David N. Ford and John D. Sterman., Includes bibliographical references (p. 24-25)., Supported by the Python organization, the Organizational Learning Center and the System Dynamics Group at the MIT Sloan School of Management.

(cont.) to the verifier., We consider an implementation of a weakened notion of zero-knowledge (weak ZK) where the simulator is also allowed to depend on the distinguisher as well, so this type of ZK entails exhibiting an efficient simulator for…

There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit higher order regularities whose recognition is complicated by many factors. ARIADNE searches for…

Many systems have been developed for constructing decision trees from collections of examples. Although the decision trees generated by these methods are accurate and efficient, they often suffer the disadvantage of excessive complexity that can render them incomprehensible to experts.…

by Stephen V. Glynn [and] Thomas G. Pelland., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2000., Includes bibliographical references (p. 134-135).

by Eric Saund., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Brain and Cognitive Sciences, 1989., Includes bibliographical references (leaves 293-300).

by William Henry Newman., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1994., Includes bibliographical references (p. 123-124).