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:

  • K-Lines: A Theory of Memory 
    Minsky, Marvin (1979-06-01)
    Most theories of memory suggest that when we learn or memorize something, some "representation" of that something is constructed, stored and later retrieved. This raises questions like: How is information represented? ...
  • Knowledge About Interfacing Descriptions 
    Dunlavey, Michael R. (MIT Artificial Intelligence Laboratory, 1974-03)
    This concentrates on interactions between knowledge stated in diverse representations. It proposes a vision program that classifies any complicated object as an elaborated instance of a simple on it already understands. ...
  • A Knowledge-Based Computer Animation System 
    Kahn, Kenneth M. (MIT Artificial Intelligence Laboratory, 1976-02)
    This paper reproduces part of a doctoral thesis proposal describing the design of a system capable of generating animated drawings in response to a simple story. The representation and interaction of the various sources ...
  • Knowledge-Based Schematics Drafting: Aesthetic Configuration as a Design Task 
    Valdes-Perez, Raul E. (MIT Artificial Intelligence Laboratory, 1987-01)
    Depicting an electrical circuit by a schematic is a tedious task that is a good candidate for automation. Programs that draft schematics with the usual algorithmic approach do not fully exploit knowledge of circuit function, ...
  • Knowledge Base Integration: What Can We Learn from Database Integration Research? 
    Lee, Jintae (1988-01-01)
    This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.
  • Knowledge Benchmarks in Adversarial Mechanism Design and Implementation in Surviving Strategies (Part I) 
    Chen, Jing; Micali, Silvio (2008-06)
    We put forward new benchmarks and solution concepts for Adversarial Mechanism Design, as defined by [MV07.a], and we exemplify them in the case of truly combinatorial auctions.We benchmark the combined performance (the sum ...
  • Knowledge Benchmarks in Adversarial Mechanism Design (Part I) and Implementation in Surviving Strategies (Part I) 
    Chen, Jing; Micali, Silvio (2008-07)
    We put forward new benchmarks and solution concepts for Adversarial Mechanism Design, as defined by [MV07.a], and we exemplify them in the case of truly combinatorial auctions.We benchmark the combined performance (the sum ...
  • Knowledge Driven Recognition of the Human Body 
    Speckert, Glen (MIT Artificial Intelligence Laboratory, 1976-01)
    This paper shows how a good internal model of the subject viewed aids in the visual recognition and following of key parts. The role of knowledge driven top-down tools and methods is shown by recognizing a series of human ...
  • Knowledge Flow Analysis for Security Protocols 
    Torlak, Emina; van Dijk, Marten; Gassend, Blaise; Jackson, Daniel; Devadas, Srinivas (2005-10-19)
    Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowledge amongst principals. Because this ...
  • Kongming: A Generative Planner for Hybrid Systems with Temporally Extended Goals 
    Li, Hui X. (2010-04-09)
    Most unmanned missions in space and undersea are commanded by a "script" that specifies a sequence of discrete commands and continuous actions. Currently such scripts are mostly hand-generated by human operators. This ...
  • LabelMe: a database and web-based tool for image annotation 
    Russell, Bryan C.; Torralba, Antonio; Murphy, Kevin P.; Freeman, William T. (2005-09-08)
    Research in object detection and recognition in cluttered scenes requires large image collections with ground truth labels. The labels should provide information about the object classes present in each image, as well as ...
  • A Laboratory Environment for Applications Oriented Vision and Manipulation 
    Horn, Berthold K.P.; Winston, Patrick H. (1976-05-01)
    This report is a brief summary guide to work done in the M.I.T. Artificial Intelligence Laboratory directed at the production of tools for productivity technology research. For detailed coverage of the work, readers ...
  • LAMBDA: The Ultimate Declarative 
    Steele, Guy Lewis, Jr. (1976-11-01)
    In this paper, a sequel to "LAMBDA: The U ltimate Imperative", a new view of LAMBDA as a renaming operator is presented and contrasted with the usual functional view taken by L ISP. This view, combined with the view of ...
  • Lambda: The Ultimate Imperative 
    Steele, Guy Lewis, Jr.; Sussman, Gerald Jay (1976-03-01)
    We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, ...
  • LANDSAT MSS Coordinate Transformations 
    Horn, Berthold K.P.; Woodham, Robert J. (1978-02-01)
    A number of image analysis tasks require the registration of a surface model with an image. In the case of satellite images, the surface model may be a map or digital terrain model in the form of surface elevations on ...
  • Language and Compiler Support for Auto-Tuning Variable-Accuracy Algorithms 
    Ansel, Jason; Wong, Yee Lok; Chan, Cy; Olszewski, Marek; Edelman, Alan; Amarasinghe, Saman (2010-07-27)
    Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance optimization in situations where perfect ...
  • The Last Whole XGP Font Catalog 
    Christman, David P.; Sjoberg, Robert W. (MIT Artificial Intelligence Laboratory, 1980-03)
  • Latent Case Model: A Generative Approach for Case-Based Reasoning and Prototype Classification 
    Kim, Been; Rudin, Cynthia; Shah, Julie (2014-05-26)
    We present a general framework for Bayesian case-based reasoning and prototype classification and clustering -- Latent Case Model (LCM). LCM learns the most representative prototype observations of a dataset by performing ...
  • Latent-Dynamic Discriminative Models for Continuous Gesture Recognition 
    Morency, Louis-Philippe; Quattoni, Ariadna; Darrell, Trevor (2007-01-07)
    Many problems in vision involve the prediction of a class label for each frame in an unsegmented sequence. In this paper we develop a discriminative framework for simultaneous sequence segmentation and labeling which can ...
  • Laws for Communicating Parallel Processes 
    Baker, Henry; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1976-11)
    This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
MIT-Mirage