Now showing items 273-292 of 327

    • The Structure of Mathematical Knowledge 

      Michener, Edwina Rissland (1978-08-01)
      This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of ...
    • A Study of Qualitative and Geometric Knowledge in Reasoning about Motion 

      Forbus, Kenneth D. (1981-02-01)
      Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of ...
    • Summarizing Qualitative Behavior from Measurements of NonlinearsCircuits 

      Lee, Michelle Kwok (1989-05-01)
      This report describes a program which automatically characterizes the behavior of any driven, nonlinear, electrical circuit. To do this, the program autonomously selects interesting input parameters, drives the circuit, ...
    • Surface Perception from Local Analysis of Texture and Contour 

      Stevens, Kent A. (1980-02-01)
      The visual analysis of surface shape from texture and surface contour is treated within a computational framework. The aim of this study is to determine valid constraints that are sufficient to allow surface orientation ...
    • Surface Reflectance Recognition and Real-World Illumination Statistics 

      Dror, Ron O. (2002-10-01)
      Humans distinguish materials such as metal, plastic, and paper effortlessly at a glance. Traditional computer vision systems cannot solve this problem at all. Recognizing surface reflectance properties from a single ...
    • Switching Between Discrete and Continuous Process Models to Predict Molecular Genetic Activity 

      Weld, Daniel Sabey (1984-05-01)
      Two kinds of process models have been used in programs that reason about change: Discrete and continuous models. We describe the design and implementation of a qualitative simulator, PEPTIDE, which uses both kinds of ...
    • Symbolic Integration 

      Moses, Joel (1967-09-01)
      SIN and SOLDIER are heuristic programs in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral ...
    • Symbolic Mathematical Laboratory 

      Martin, William A. (1967-01-01)
      A large computer program has been developed to aid applied mathematicians in the solution of problems in non-numerical analysis which involve tedious manipulations of mathematical expressions. The mathematician uses ...
    • Syntax-Based Analytic Reading of Musical Scores 

      Forte, Allen (1967-04-01)
      As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. ...
    • The Synthesis of Stable Force-Closure Grasps 

      Nguyen; Van-Duc (1986-07-01)
      This thesis addresses the problem of synthesizing grasps that are force-closure and stable. The synthesis of force-closure grasps constructs independent regions of contact for the fingertips, such that the motion of ...
    • Synthesizing Regularity Exposing Attributes in Large Protein Databases 

      de la Maza, Michael (1993-05-01)
      This thesis describes a system that synthesizes regularity exposing attributes from large protein databases. After processing primary and secondary structure data, this system discovers an amino acid representation ...
    • A System for Representing and Using Real-World Knowledge 

      Fahlman, Scott E. (1977-12-01)
      This report describes a knowledge-base system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network ...
    • A Systems Approach to the Torque Control of a Permanent Magnet Brushless Motor 

      Paul, Benjamin J. (1987-08-01)
      Many approaches to force control have assumed the ability to command torques accurately. Concurrently, much research has been devoted to developing accurate torque actuation schemes. Often, torque sensors have been ...
    • Taming Chaotic Circuits 

      Bradley, Elizabeth (1992-09-01)
      Control algorithms that exploit chaotic behavior can vastly improve the performance of many practical and useful systems. The program Perfect Moment is built around a collection of such techniques. It autonomously ...
    • Task-Level Robot Learning 

      Aboaf, Eric W. (1988-08-01)
      We are investigating how to program robots so that they learn from experience. Our goal is to develop principled methods of learning that can improve a robot's performance of a wide range of dynamic tasks. We have ...
    • Teaching an Old Robot New Tricks: Learning Novel Tasks via Interaction with People and Things 

      Marjanovic, Matthew J. (2003-06-20)
      As AI has begun to reach out beyond its symbolic, objectivist roots into the embodied, experientialist realm, many projects are exploring different aspects of creating machines which interact with and respond to the world ...
    • TEMPEST: A Template Editor for Structured Text 

      Sterpe, Peter J. (1985-06-01)
      TEMPEST is a full-screen text editor that incorporates a structural paradigm in addition to the more traditional textual paradigm provided by most editors. While the textual paradigm treats the text as a sequence of ...
    • Temporal Surface Reconstruction 

      Heel, Joachim (1991-05-01)
      This thesis investigates the problem of estimating the three-dimensional structure of a scene from a sequence of images. Structure information is recovered from images continuously using shading, motion or other visual ...
    • Test Generation Guided Design for Testability 

      Wu, Peng (1988-07-01)
      This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct ...
    • Theories of Comparative Analysis 

      Weld, Daniel S. (1988-05-01)
      Comparative analysis is the problem of predicting how a system will react to perturbations in its parameters, and why. For example, comparative analysis could be asked to explain why the period of an oscillating ...