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:

  • Marr, David (MIT Artificial Intelligence Laboratory, 1976-08)
    The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of a computation is expressed; (2) that at which the algorithms that implement a computation are characterised; ...
  • Fitzpatrick, Paul (2003-06-01)
    This thesis presents a perceptual system for a humanoid robot that integrates abilities such as object localization and recognition with the deeper developmental machinery required to forge those competences out of raw ...
  • Musial, Peter M. (2012-08-27)
    The objective of this work is the derivation of software that is verifiably correct. Our approach is to abstract system specifications and model these in a formal framework called Timed Input/Output Automata, which provides ...
  • Yuret, Deniz (1994-05-01)
    The work described in this thesis began as an inquiry into the nature and use of optimization programs based on "genetic algorithms." That inquiry led, eventually, to three powerful heuristics that are broadly applicable ...
  • Leibo, Joel Z; Mutch, Jim; Ullman, Shimon; Poggio, Tomaso (2010-12-04)
    We can immediately recognize novel objects seen only once before -- in different positions on the retina and at different scales (distances). Is this ability hardwired by our genes or learned during development -- and ...
  • Pontil, Massimiliano; Rifkin, Ryan; Evgeniou, Theodoros (1998-11-01)
    We study the relation between support vector machines (SVMs) for regression (SVMR) and SVM for classification (SVMC). We show that for a given SVMC solution there exists a SVMR solution which is equivalent for a certain ...
  • Marr, D.; Poggio, T. (1976-05-01)
    The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of computation is expressed; (2) that at which the algorithms that implement a computation are characterized; ...
  • Hall, Robert J. (1987-05-01)
    This paper shows that, provided circuits contain no zero-delay loops, a tight relationship, full abstraction, exists between a natural event-based operational semantics for circuits and a natural denotational semantics ...
  • Lathrop, Richard H.; Robert J. Hall,; Kirk, Robert S. (1987-05-01)
    High-level functional (or behavioral) simulation models are difficult, time-consuming, and expensive to develop. We report on a method for automatically generating the program code for a high-level functional simulation ...
  • Hewitt, Carl (1968-01-01)
    Presented here is part of the graduate work that I am doing in the much broader area of protocol analysis (see A.I. memo 137). The goal of the function abstraction is to find a procedure that satisfies a given set of ...
  • Sussman, Gerald Jay; Wisdom, Jack (2005-02-02)
    Differential geometry is deceptively simple. It is surprisingly easyto get the right answer with unclear and informal symbol manipulation.To address this problem we use computer programs to communicate aprecise understanding ...
  • Moses, Joel (1970-06-01)
    A problem common to many powerful programming languages arises when one has to determine what values to assign to free variables in functions. Different implementational approaches which attempt to solve the problem are ...
  • Freiling, Michael J. (MIT Artificial Intelligence Laboratory, 1973-12)
    This paper discusses methods for enhancing the learning abilities of the Winston program, first by representing functional properties of the objects considered, and secondly by embedding individual models in a hierarchically ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1975-12)
    Details of the kinematics, statics, and dynamics of a particularly simple form of locomotory system are developed to demonstrate the importance of understanding the behavior of the mechanical system interposed between the ...
  • Fukumori, Koji (1980-09-01)
    Traditionally, the compilation of long-term timetables for high-density rail service with multiple classes of trains on the same track is a job for expert people, not computers. We propose an algorithm that uses the ...
  • Marill, Thomas (MIT Artificial Intelligence Laboratory, 1989-02)
    The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image. We have previously presented a certain line-drawing and shown that it has the ...
  • Lee, Lily (2003-06-26)
    This thesis describes a representation of gait appearance for the purpose of person identification and classification. This gait representation is based on simple localized image features such as moments extracted from ...
  • Lee, Lily (2001-09-01)
    This paper describes a representation of the dynamics of human walking action for the purpose of person identification and classification by gait appearance. Our gait representation is based on simple features such as ...
  • Bishop, Peter B. (MIT Artificial Intelligence Laboratory, 1975-09)
    The address space is broken into areas that can be garbage collected separately. An area is analogous to a file on current systems. Each process has a local computation area for its stack and temporary storage that is ...
  • Miller, James S.; Rozas, Guillermo J. (1994-03-01)
    Prompted by claims that garbage collection can outperform stack allocation when sufficient physical memory is available, we present a careful analysis and set of cross-architecture measurements comparing these two approaches ...
MIT-Mirage