Advanced Search
DSpace@MIT

Browsing AI Technical Reports (1964 - 2004) by Title

Research and Teaching Output of the MIT Community

Browsing AI Technical Reports (1964 - 2004) by Title

Sort by: Order: Results:

  • An, Chae Hun (1986-09-01)
    Using the MIT Serial Link Direct Drive Arm as the main experimental device, various issues in trajectory and force control of manipulators were studied in this thesis. Since accurate modeling is important for any ...
  • Rozas, Guillermo J. (1993-10-01)
    This report introduces TRANSLUCENT PROCEDURES as a new mechanism for implementing behavioral abstractions. Like an ordinary procedure, a translucent procedure can be invoked, and thus provides an obvious way to capture ...
  • Doyle, Jon (1978-01-01)
    The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the ...
  • Haase, Kenneth W., Jr. (1987-08-01)
    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 ...
  • Tuttle, Timothy D. (1992-05-01)
    In my research, I have performed an extensive experimental investigation of harmonic-drive properties such as stiffness, friction, and kinematic error. From my experimental results, I have found that these properties ...
  • Goldstein, Ira P. (1974-04-01)
    What are the characteristics of the process by which an intent is transformed into a plan and then a program? How is a program debugged? This paper analyzes these questions in the context of understanding simple turtle ...
  • Kim, Philip Mjong-Hyon Shin (2003-02-05)
    Biological systems exhibit rich and complex behavior through the orchestrated interplay of a large array of components. It is hypothesized that separable subsystems with some degree of functional autonomy exist; deciphering ...
  • Dorr, Bonnie Jean (1987-12-01)
    Machine translation has been a particularly difficult problem in the area of Natural Language Processing for over two decades. Early approaches to translation failed since interaction effects of complex phenomena in ...
  • Brown, Richard (1977-04-01)
    We will take the view that the end result of problem solving in some world should be increased expertness. In the context of computers, increasing expertness means writing programs. This thesis is about a process, ...
  • McAllester, David Allen (1980-01-01)
    This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order ...
  • Jacobs, David W. (1988-01-01)
    The report describes a recognition system called GROPER, which performs grouping by using distance and relative orientation constraints that estimate the likelihood of different edges in an image coming from the same ...
  • Chklovski, Timothy (2003-02-12)
    The goal of the work reported here is to capture the commonsense knowledge of non-expert human contributors. Achieving this goal will enable more intelligent human-computer interfaces and pave the way for computers to ...
  • Jones, Michael J. (1992-09-01)
    This report explores how recurrent neural networks can be exploited for learning high-dimensional mappings. Since recurrent networks are as powerful as Turing machines, an interesting question is how recurrent networks ...
  • Nieh, Jason (1989-09-01)
    Studying chaotic behavior in nonlinear systems requires numerous computations in order to simulate the behavior of such systems. The Standard Map Machine was designed and implemented as a special computer for performing ...
  • Hamscher, Walter (1983-06-01)
    We wish to design a diagnostic for a device from knowledge of its structure and function. the diagnostic should achieve both coverage of the faults that can occur in the device, and should strive to achieve specificity ...
  • Sung, Kah-Kay (1992-01-01)
    Surface (Lambertain) color is a useful visual cue for analyzing material composition of scenes. This thesis adopts a signal processing approach to color vision. It represents color images as fields of 3D vectors, from ...
  • III, Teodoro Arvizo (2002-06-01)
    In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to ...
  • Pratt, Jerry E. (1995-12-01)
    The transformation from high level task specification to low level motion control is a fundamental issue in sensorimotor control in animals and robots. This thesis develops a control scheme called virtual model control ...
  • Torres, Ann L. (1996-12-01)
    Since robots are typically designed with an individual actuator at each joint, the control of these systems is often difficult and non-intuitive. This thesis explains a more intuitive control scheme called Virtual Model ...
  • Chapman, David (1990-04-01)
    This thesis describes Sonja, a system which uses instructions in the course of visually-guided activity. The thesis explores an integration of research in vision, activity, and natural language pragmatics. Sonja's visual ...
MIT-Mirage