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:

  • MAC Design for Analog Network Coding 
    Khabbazian, Majid; Kuhn, Fabian; Lynch, Nancy; Medard, Muriel; ParandehGheibi, Ali (2010-08-02)
    Most medium access control mechanisms discard collided packets and consider interference harmful. Recent work on Analog Network Coding (ANC) suggests a different approach, in which multiple interfering transmissions are ...
  • Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses 
    Salcianu, Alexandru; Arkoudas, Konstantine (2004-12-16)
    This technical report describes our experience using the interactive theorem proverAthena for proving the correctness of abstract interpretation-based dataflow analyses.For each analysis, our methodology requires the ...
  • Machine Recognition as Representation and Search 
    Zhao, Feng (1989-12-01)
    Generality, representation, and control have been the central issues in machine recognition. Model-based recognition is the search for consistent matches of the model and image features. We present a comparative ...
  • MAC PDP-6 DECtape File Structure 
    Samson, Peter (1965-07-01)
    The MAC system programs, MACDMP, TECO, and MIDAS, assume a certain data structure on DECtapes which they handle. Each DECtape has 1100 blocks of 200 words, numbered 0 through 1077. Block 0 and blocks 1070 through 1077 are ...
  • MACRO Definitions for LISP 
    Hart, Timothy P. (1963-10-01)
    In LISP 1.5 special forms are used for three logically separate purposes: a) to reach the alist, b) to allow functions to have an indefinite number of arguments, and c) to keep arguments from being evaluated. New LISP ...
  • MACTAP: A PDP-6 DECtape Handling Package 
    Samson, Peter (1965-09-01)
    MACTAP is a set of PDP-6 subroutines to read and write DECtape in the MAC file format (see MAC-M-249). Programmers can call these subroutines for input or output of ASCII data, which will be compatible with TECO files; or ...
  • Making Aesthetic Choices 
    Kahn, Kenneth M. (1979-03-01)
    A framework is presented for making choices that are primarily constrained by aesthetic, as opposed to, pragmatic considerations. An example of the application of this framework is a computer system called "Ani", capable ...
  • Making Medical Records More Resilient 
    Rudin, Robert (2008-02-17)
    Hurricane Katrina showed that the current methods for handling medicalrecords are minimally resilient to large scale disasters. This research presents a preliminary model for measuring the resilience of medical records ...
  • The Making of the Film, SOLAR CORONA 
    Beeler, Michael (1973-02-01)
    The film SOLAR CORONA was made from data taken from August 14, 1969 through May 7, 1970, by OSO-VI, one of the Orbiting Satellite Observatories. One of the experiments on board scanned across and up and down the image of ...
  • Managing the 802.11 Energy/Performance Tradeoff with Machine Learning 
    Monteleoni, Claire; Balakrishnan, Hari; Feamster, Nick; Jaakkola, Tommi (2004-10-27)
    This paper addresses the problem of managing the tradeoff betweenenergy consumption and performance in wireless devices implementingthe IEEE 802.11 standard. To save energy, the 802.11 specificationproposes a power-saving ...
  • Manipulator Design Vignettes 
    Minsky, Marvin (1981-10-01)
    This memo is about mechanical arms. The literature on robotics seems to be deficient in such discussions, perhaps because not enough sharp theoretical problems have been formulated to attract interest. I"m sure many of ...
  • Manipulator Design Vignettes 
    Minsky, Marvin (1972-10-01)
    This memo is about mechanical arms. The literature on robotics seems to be deficient in such discussions, perhaps because not enough sharp theoretical problems have been formulated to attract interest. I'm sure many ...
  • Manipulator Grasping and Pushing Operations 
    Mason, Matthew Thomas (1982-06-01)
    The primary goal of this research is to develop theoretical tools for analysis, synthesis, application of primitive manipulator operations. The primary method is to extend and apply traditional tools of classical mechanics. ...
  • MAPPER Information 
    Taenzer, David (MIT Artificial Intelligence Laboratory, 1974-09)
    This working paper describes a program on the Mini-Robot PDP-11 which is used for looking at picture files created by the VIDIN program. It may be used by ITS vision programmers to examine Vidicon picture files before ...
  • Mapping Sentences to Case Frames 
    Levin, Beth (MIT Artificial Intelligence Laboratory, 1977-03)
    This paper describes a range of phenomena that a case frame system should be able to handle and proposes generalizations to capture this behavior which are formulated as a set of production-like rules. These rules allow ...
  • Mapping Stream Programs into the Compressed Domain 
    Thies, William; Hall, Steven; Amarasinghe, Saman (2007-11-30)
    Due to the high data rates involved in audio, video, and signalprocessing applications, it is imperative to compress the data todecrease the amount of storage used. Unfortunately, this implies thatany program operating on ...
  • Marriage, Honesty, and Stability 
    Immorlica, Nicole; Mahdian, Mohammad (2003-07-28)
    Many centralized two-sided markets form a matching between participantsby running a stable marriage algorithm. It is a well-knownfact that no matching mechanism based on a stable marriage algorithmcan guarantee truthfulness ...
  • Marr's Approach to Vision 
    Poggio, Tomaso (1981-08-01)
    In the last seven years a new computational approach has led to promising advances in the understanding of biological visual perception. The foundations of the approach are largely due to the work of a single man, ...
  • MARVEL: A System for Recognizing World Locations with Stereo Vision 
    Braunegg, David Jerome (1990-06-01)
    To use a world model, a mobile robot must be able to determine its own position in the world. To support truly autonomous navigation, I present MARVEL, a system that builds and maintains its own models of world locations ...
  • Massively Parallel Implementations of Theories for Apparent Motion 
    Grzywacz, Norberto; Yuille, Alan (1987-06-01)
    We investigate two ways of solving the correspondence problem for motion using the assumptions of minimal mapping and rigidity. Massively parallel analog networks are designed to implement these theories. Their ...
MIT-Mirage