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:

  • Fong, Sandiway (1989-12-01)
    In the principles-and-parameters model of language, the principle known as "free indexation'' plays an important part in determining the referential properties of elements such as anaphors and pronominals. This paper ...
  • Durand, Frédo (2011-12-14)
    The numerical calculation of integrals is central to many computer graphics algorithms such as Monte-Carlo Ray Tracing. We show that such methods can be studied using Fourier analysis. Numerical error is shown to correspond ...
  • Roberts, R. Bruce; Goldstein, Ira P. (1977-09-01)
    The Frame Representation Language (FRL) is described. FRL is an adjunct to LISP which implements several representation techniques suggested by Minsky's [75] concept of a frame: defaults, constraints, inheritance, procedural ...
  • Roberts, R. Bruce; Goldstein, Ira P. (1977-07-01)
    The Frame Representation Language (FRL) is an experimental language written to explore the use of frames as a knowledge representation technique. The term 'frame' as used in FRL was inspired by Minsky's [75] development ...
  • 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 ...
MIT-Mirage