Now showing items 290-309 of 327

    • 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 ...
    • Theory of Handwriting 

      Hollerbach, John (1980-03-01)
      Handwriting production is viewed as a constrained modulation of an underlying oscillatory process. Coupled oscillations in horizontal and vertical directions produce letter forms, and when superimposed on a rightward ...
    • A Theory of Quantitative Inference Applied to a Mechanical Design Compiler 

      Ward, Allen C. (1989-01-01)
      This thesis presents the ideas underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers ...
    • Thread Scheduling Mechanisms for Multiple-Context Parallel Processors 

      Fiske, James A. Stuart (1995-06-01)
      Scheduling tasks to efficiently use the available processor resources is crucial to minimizing the runtime of applications on shared-memory parallel processors. One factor that contributes to poor processor utilization ...
    • Three-Dimensional Correspondence 

      Shelton, Christian R. (1998-12-01)
      This paper describes the problem of three-dimensional object correspondence and presents an algorithm for matching two three-dimensional colored surfaces using polygon reduction and the minimization of an energy function. ...
    • Three-Dimensional Motion Estimation Using Shading Information in Multiple Frames 

      Schott, Jean-Pierre (1989-09-01)
      A new formulation for recovering the structure and motion parameters of a moving patch using both motion and shading information is presented. It is based on a new differential constraint equation (FICE) that links the ...
    • Three-Dimensional Recognition of Solid Objects from a Two-Dimensional Image 

      Huttenlocher, Daniel Peter (1988-10-01)
      This thesis addresses the problem of recognizing solid objects in the three-dimensional world, using two-dimensional shape information extracted from a single image. Objects can be partly occluded and can occur in ...
    • Time-Frequency Representations for Speech Signals 

      Riley, Michael D. (1987-05-01)
      This work addresses two related questions. The first question is what joint time-frequency energy representations are most appropriate for auditory signals, in particular, for speech signals in sonorant regions. The ...
    • Toward A Model Of Children's Story Comprehension 

      Charniak, Eugene (1972-12-01)
      How does a person answer questions about children's stories? For example, consider 'Janet wanted Jack's paints. She looked at the picture he was painting and said 'Those paints make your picture look funny.' The ...
    • Toward a Theory of Representation Design 

      Baalen, Jeffrey Van (1989-05-01)
      This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was ...
    • Towards a Computational Theory of Definite Anaphora Comprehension in English Discourse 

      Sidner, Candace Lee (1979-06-01)
      This report investigates the process of focussing as a description and explanation of the comprehension of certain anaphoric expressions in English discourse. The investigation centers on the interpretation of definite ...
    • Towards Intelligent Structures: Active Control of Buckling 

      Berlin, Andrew A. (1994-05-01)
      The buckling of compressively-loaded members is one of the most important factors limiting the overall strength and stability of a structure. I have developed novel techniques for using active control to wiggle a ...
    • Towards Man-Machine Interfaces: Combining Top-down Constraints with Bottom-up Learning in Facial Analysis 

      Kumar, Vinay P. (2002-09-01)
      This thesis proposes a methodology for the design of man-machine interfaces by combining top-down and bottom-up processes in vision. From a computational perspective, we propose that the scientific-cognitive question ...
    • A Trainable System for Object Detection in Images and Video Sequences 

      Papageorgiou, Constantine P. (2000-05-01)
      This thesis presents a general, trainable system for object detection in static images and video sequences. The core system finds a certain class of objects in static images of completely unconstrained, cluttered scenes ...
    • Trajectory and Force Control of a Direct Drive Arm 

      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 ...
    • Translucent Procedures, Abstraction without Opacity 

      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 ...
    • Truth Maintenance Systems for Problem Solving 

      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 ...
    • TYPICAL: A Knowledge Representation System for Automated Discovery and Inference 

      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 ...