Advanced Search
DSpace@MIT

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Sort by: Order: Results:

  • Kahn, Kenneth M.; Hewitt, Carl (1978-06-01)
    Dynamic computer graphics is best represented as several processes operating in parallel. Full parallel processing, however, entails much complex mechanism making it difficult to write simple, intuitive programs for ...
  • Attie, Paul C.; Lynch, Nancy A. (2013-07-08)
    We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ...
  • Attie, Paul C.; Lynch, Nancy A. (2003-07-26)
    We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components ...
  • Hollerbach, John M.; Flash, Tamar (1981-11-01)
    Movement of multiple segment limbs requires generation of appropriate joint torques which include terms arising from dynamic interactions among the moving segments as well as from such external forces as gravity. The ...
  • Abelson, Harold; Sussman, Gerald Jay (1987-05-01)
    The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical simulations. This part of ...
  • Brock, David L. (1991-11-01)
    A dynamic model and control system of an artificial muscle is presented. The artificial muscle is based on a contractile polymer gel which undergoes abrupt volume changes in response to variations in external conditions. ...
  • Hollerbach, John M. (1983-01-01)
    A fundamental time-scaling property of manipulator dynamics has been identified that allows modification of movement speed without complete dynamics recalculation. By exploiting this property, it can be determined ...
  • Horn, Berthold K.P.; Hirokawa, Ken-Ichi; Vazirani, Vijay (1977-10-01)
    In order to be able to design a control system for high-speed control of mechanical manipulators, it is necessary to understand properly their dynamics. Here we present an analysis of a detailed model of a three-link ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1977-10)
    In order to be able to design a control system for high-speed control of mechanical manipulators, it is necessary to understand properly their dynamics. Here we present an analysis of a detailed model of a three-link device ...
  • Hillis, D. (MIT Artificial Intelligence Laboratory, 1983-01)
    We have developed an efficient Lagrangian formulation of manipulators with small numbers of degrees of freedom. The efficiency derives from the lack of velocities, accelerations, and generalized forces. The number of ...
  • Agre, Philip E. (1988-10-01)
    Computational theories of action have generally understood the organized nature of human activity through the construction and execution of plans. By consigning the phenomena of contingency and improvisation to ...
  • Spoerri, Anselm (1990-05-01)
    This thesis shows how to detect boundaries on the basis of motion information alone. The detection is performed in two stages: (i) the local estimation of motion discontinuities and of the visual flowsfield; (ii) the ...
  • Marr, D. (1975-12-01)
    The article describes a symbolic approach to visual information processing, and sets out four principles that appear to govern the design of complex symbolic information processing systems. A computational theory of ...
  • Sezgin, Tevfik Metin; Davis, Randall (2004-07-28)
    Freehand sketching is a natural and crucial part of everyday humaninteraction, yet is almost totally unsupported by current user interfaces. With the increasing availability of tablet notebooks and pen based PDAs, sketchbased ...
  • Pacheo, Carlos; Ernst, Michael D. (2004-10-14)
    This paper describes a technique that helps a test engineerselect, from a large set of randomly generated testinputs, a small subset likely to reveal faults in the softwareunder test. The technique takes a program or ...
  • Desai, Ujjaval Y.; Mizuki, Marcelo M.; Masaki, Ichiro; Horn, Berthold K.P. (1996-11-01)
    In this paper, we present a static image compression algorithm for very low bit rate applications. The algorithm reduces spatial redundancy present in images by extracting and encoding edge and mean information. Since ...
  • Hildreth, Ellen C. (1985-09-01)
    The goal of vision is to recover physical properties of objects in a scene, such as the location of object boundaries and the structure, color, and texture of object surfaces, from the two-dimensional image that is ...
  • Grimson, W. Eric L. (1990-04-01)
    Many current recognition systems use constrained search to locate objects in cluttered environments. Previous formal analysis has shown that the expected amount of search is quadratic in the number of model and data features, ...
  • Townsend, William T. (William Thomas) (1988-04-01)
    Previous research in force control has focused on the choice of appropriate servo implementation without corresponding regard to the choice of mechanical hardware. This report analyzes the effect of mechanical properties ...
  • Fischer, Michael J. (1972-04-01)
    This paper was first presented at the Symposium on Complexity of Computer Computations, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, on March 22, 1972. The equivalence problem is to determine the ...
MIT-Mirage