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:

  • Javari: Adding Reference Immutability to Java 
    Tschantz, Matthew S. (2006-09-05)
    This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable ...
  • Jenga: Harnessing Heterogeneous Memories through Reconfigurable Cache Hierarchies 
    Beckmann, Nathan; Tsai, Po-An; Sanchez, Daniel (2015-12-19)
    Conventional memory systems are organized as a rigid hierarchy, with multiple levels of progressively larger and slower memories. Hierarchy allows a simple, fixed design to benefit a wide range of applications, because ...
  • Jigsaw: Scalable Software-Defined Caches (Extended Version) 
    Beckmann, Nathan; Sanchez, Daniel (2013-09-01)
    Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...
  • The J%JOIN Package 
    Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971-04-02)
    The J%JOIN program creates links between the elements of a set of line segments on the basis of their geometric proximity. According to the value of the third argument, (T or NIL), the program will either place a set of ...
  • jMWE v1.0.0 
    Finlayson, Mark Alan; Kulkarni, Nidhi (2011)
    jMWE is a Java library for constructing and testing Multi-Word Expression detectors. The library has three main facilities: (1) a detector API, (2) a MWE index facility, and (3) a test harness. This is version 1.0.0 of the ...
  • Jokes and the Logic of the Cognitive Unconscious 
    Minsky, Marvin (1980-11-01)
    Freud's theory of jokes explains how they overcome the mental "censors" that make it hard for us to think "forbidden" thoughts. But his theory did not work so well for humorous nonsense as for other comical subjects. ...
  • Jordan Form of (i+j over j) over Z[subscript p] 
    Strauss, Nicholas (MIT Artificial Intelligence Laboratory, 1985-07)
    The Jordan Form over field Z[subscript p] of J[superscript p][subscript p]n is diagonal for p > 3 with characteristic polynomial, ϕ(x) = x[superscript 3] - 1, for p prime, n natural number. These matrices have dimension ...
  • Justified Generalization: Acquiring Procedures from Examples 
    Andreae, Peter Merrett (1985-01-01)
    This thesis describes an implemented system called NODDY for acquiring procedures from examples presented by a teacher. Acquiring procedures form examples involves several different generalization tasks. Generalization ...
  • KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods 
    Yip, Kenneth Man-Kam (1989-08-01)
    KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in ...
  • KBEmacs: A Step Toward the Programmer's Apprentice 
    Waters, Richard C. (1985-05-01)
    The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semi-expert assistant to a person who is ...
  • Keeping Mobile Robots Connected 
    Lynch, Nancy; Ley-Wild, Ruy; Kuhn, Fabian; Cornejo, Alejandro (2009-06-17)
    Designing robust algorithms for mobile agents with reliable communication is difficult due to the distributed nature of computation, in mobile ad hoc networks (MANETs) the matter is exacerbated by the need to ensure ...
  • Keeping Secrets in Hardware: the Microsoft Xbox(TM) Case Study 
    Huang, Andrew "bunnie" (2002-05-26)
    This paper discusses the hardware foundations of the cryptosystem employed by the Xbox(TM) video game console from Microsoft. A secret boot block overlay is buried within a system ASIC. This secret boot block decrypts and ...
  • Kernels for Vector-Valued Functions: a Review 
    Alvarez, Mauricio A.; Rosasco, Lorenzo; Lawrence, Neil D. (2011-06-30)
    Kernel methods are among the most popular techniques in machine learning. From a frequentist/discriminative perspective they play a central role in regularization theory as they provide a natural choice for the hypotheses ...
  • Keys Under Doormats: Mandating insecurity by requiring government access to all data and communications 
    Abelson, Harold; Anderson, Ross; Bellovin, Steven M.; Benaloh, Josh; Diffie, Whitfield; Gilmore, John; Green, Matthew; Neumann, Peter G.; Landau, Susan; Rivest, Ronald L.; Schiller, Jeffrey I.; Schneier, Bruce; Specter, Michael; Weitzner, Daniel J.; Blaze, Matt (2015-07-06)
    Twenty years ago, law enforcement organizations lobbied to require data and communication services to engineer their products to guarantee law enforcement access to all data. After lengthy debate and vigorous predictions ...
  • Kinematic Features of Unrestrained Arm Movements 
    Atkeson, Christopher G.; Hollerback, John M. (1984-07-01)
    Unrestrained human arm trajectories between point targets have been investigated using a three dimensional tracking apparatus, the Selspot system. Movements were executed between different points in a vertical plane ...
  • Kinematics of the MIT-AI-VICARM Manipulator 
    Horn, Berthold K.P.; Inoue, Hirochika (MIT Artificial Intelligence Laboratory, 1974-05)
    This paper describes the basic geometry of the electric manipulator designed for the Artificial Intelligence Laboratory by Victor Scheinman while on leave from Stanford University. The procedure for finding a set of joint ...
  • Kinematics, Statics, and Dynamics of Two-D Manipulators 
    Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1975-06)
    In order to get some feeling for the kinematics, statics, and dynamics of manipulators, it is useful to separate the problem of visualizing linkages in three-space from the basic mechanics. The general-purpose two-dimensional ...
  • The Kineticist's Workbench: Combining Symbolic and Numerical Methods in the Simulation of Chemical Reaction Mechanisms 
    Eisenberg, Michael A. (1991-05-01)
    The Kineticist's Workbench is a program that simulates chemical reaction mechanisms by predicting, generating, and interpreting numerical data. Prior to simulation, it analyzes a given mechanism to predict that ...
  • Kintinuous: Spatially Extended KinectFusion 
    Whelan, Thomas; Kaess, Michael; Fallon, Maurice; Johannsson, Hordur; Leonard, John; McDonald, John (2012-07-19)
    In this paper we present an extension to the KinectFusion algorithm that permits dense mesh-based mapping of extended scale environments in real-time. This is achieved through (i) altering the original algorithm such that ...
  • 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? ...
MIT-Mirage