Now showing items 36-55 of 327

    • CARPS: A Program which Solves Calculus Word Problems 

      Charniak, Eugene (1968-07-01)
      A program was written to solve calculus word problems. The program, CARPS (CALculus Rate Problem Solver), is restricted to rate problems. The overall plan of the program is similar to Bobrow's STUDENT, the primary ...
    • Causal and Teleological Reasoning in Circuit Recognition 

      Kleer, Johan De (1979-09-01)
      This thesis presents a theory of human-like reasoning in the general domain of designed physical systems, and in particular, electronic circuits. One aspect of the theory, causal analysis, describes how the behavior ...
    • A Circuit Grammar For Operational Amplifier Design 

      Ressler, Andrew Lewis (1984-01-01)
      Electrical circuit designers seldom create really new topologies or use old ones in a novel way. Most designs are known combinations of common configurations tailored for the particular problem at hand. In this thesis ...
    • Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs 

      Brown, Richard (1981-01-01)
      A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, ...
    • A Colony Architecture for an Artificial Creature 

      Connell, Jonathan (1989-09-01)
      This report describes a working autonomous mobile robot whose only goal is to collect and return empty soda cans. It operates in an unmodified office environment occupied by moving people. The robot is controlled by a ...
    • Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems 

      Simmons, Reid G. (1988-08-01)
      This report describes a paradigm for combining associational and causal reasoning to achieve efficient and robust problem-solving behavior. The Generate, Test and Debug (GTD) paradigm generates initial hypotheses using ...
    • Compact Representations for Fast Nonrigid Registration of Medical Images 

      Timoner, Samson (2003-07-04)
      We develop efficient techniques for the non-rigid registration of medical images by using representations that adapt to the anatomy found in such images. Images of anatomical structures typically have uniform intensity ...
    • A Compilation Strategy for Numerical Programs Based on Partial Evaluation 

      Berlin, Andrew A. (1989-02-01)
      This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. I have developed a technique for performing partial evaluation by using placeholders ...
    • Compliance and Force Control for Computer Controlled Manipulators 

      Mason, Matthew Thomas (1979-04-01)
      Compliant motion occurs when the manipulator position is constrained by the task geometry. Compliant motion may be produced either by a passive mechanical compliance built in to the manipulator, or by an active ...
    • Computation and Pre-Parametric Design 

      Ulrich, Karl T. (1988-09-01)
      My work is broadly concerned with the question "How can designs bessynthesized computationally?" The project deals primarily with mechanical devices and focuses on pre-parametric design: design at the level of detail ...
    • The Computation of Color 

      Hurlbert, Anya C. (1989-09-01)
      This thesis takes an interdisciplinary approach to the study of color vision, focussing on the phenomenon of color constancy formulated as a computational problem. The primary contributions of the thesis are (1) the ...
    • A Computational Model for Observation in Quantum Mechanics 

      Rozas, Guillermo Juan (1987-03-01)
      A computational model of observation in quantum mechanics is presented. The model provides a clean and simple computational paradigm which can be used to illustrate and possibly explain some of the unintuitive and ...
    • A Computational Model of Skill Acquisition 

      Sussman, Gerald J. (1973-08-01)
      This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance ...
    • Computational Structure of GPSG Models: Revised Generalized Phrase Structure Grammar 

      Ristad, Eric Sven (1989-09-01)
      The primary goal of this report is to demonstrate how considerations from computational complexity theory can inform grammatical theorizing. To this end, generalized phrase structure grammar (GPSG) linguistic theory ...
    • Computational Structure of Human Language 

      Ristad, Eric Sven (1990-10-01)
      The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive ...
    • Computer Analysis of Visual Properties of Curved Objects 

      Krakauer, Lawrence J. (1971-05-01)
      A method is presented for the visual analysis of objects by computer. It is particularly well suited for opaque objects with smoothly curved surfaces. The method extracts information about the object's surface properties, ...
    • Computer Recognition of Prismatic Solids 

      Griffith, Arnold K. (1970-08-01)
      An investigation is made into the problem of constructing a model of the appearance to an optical input device of scenes consisting of plane-faced geometric solids. The goal is to study algorithms which find the real ...
    • Computer Recognition of Three-Dimensional Objects in a Visual Scene 

      Guzman-Arenas, Adolfo (1968-12-01)
      Methods are presented (1) to partition or decompose a visual scene into the bodies forming it; (2) to position these bodies in three-dimensional space, by combining two scenes that make a stereoscopic pair; (3) to ...
    • Computer System for Visual Recognition Using Active Knowledge 

      Freuder, Eugene C. (1976-06-01)
      A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a ...
    • Computing 3-D Motion in Custom Analog and Digital VLSI 

      Dron, Lisa (1994-11-28)
      This thesis examines a complete design framework for a real-time, autonomous system with specialized VLSI hardware for computing 3-D camera motion. In the proposed architecture, the first step is to determine point ...