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:

  • Agarwal, Anant; Santambrogio, Marco D.; Wingate, David; Eastep, Jonathan (2009-11-09)
    As multicore processors become increasingly prevalent, system complexity is skyrocketing. The advent of the asymmetric multicore compounds this -- it is no longer practical for an average programmer to balance the system ...
  • Brady, Michael; Asada, Haruo (1984-02-01)
    We introduce a novel representation of two-dimensional shape that we call smoothed local symmetries (SLS). Smoothed local symmetries represent both the bounding contour of a shape fragment and the region that it occupies. ...
  • Yuille, A.L. (1983-08-01)
    This paper presents some mathematical results concerning the measurement of motion of contours. A fundamental problem of motion measurement in general is that the velocity field is not determined uniquely from the ...
  • Shapiro, Daniel G. (1981-06-01)
    This paper presents a bug understanding system, called sniffer, which applies inspection methods to generate a deep understanding of a narrow class of errors. Sniffer is an interactive debugging aide. It can locate ...
  • Chiesa, Alessandro; Micali, Silvio; Zhu, Zeyuan Allen (2012-09-07)
    We provide an optimal probabilistic mechanism for maximizing social welfare in single-good auctions when each player does not know his true valuation for the good, but only a set of valuations that is guaranteed to include ...
  • Coen, Michael H. (1994-11-02)
    This thesis presents SodaBot, a general-purpose software agent user-environment and construction system. Its primary component is the basic software agent --- a computational framework for building agents which is ...
  • Jakubczak, Szymon; Katabi, Dina (2011-02-15)
    Video broadcast and mobile video challenge the conventional wireless design. In broadcast and mobile scenarios the bit rate supported by the channel differs across receivers and varies quickly over time. The conventional ...
  • Katabi, Dina; Rahul, Hariharan; Jakubczak, Szymon (2009-02-07)
    The main challenge in wireless video multicast is to scalably serve multiple receivers who have different channel characteristics. Current wireless transmission schemes, however, cannot support smooth degradation. Specifically, ...
  • Haase, Kenneth (1990-03-01)
    This paper introduces soft objects, a new paradigm for object oriented programming. This paradigm replaces the traditional notion of object classes with the specification of transforming procedures which transform ...
  • Jamieson, Kyle (2008-06-03)
    At ever-increasing rates, we are using wireless systems to communicatewith others and retrieve content of interest to us. Current wirelesstechnologies such as WiFi or Zigbee use forward error correction todrive bit error ...
  • Boyd-Wickizer, Silas; Kaashoek, M. Frans; Morris, Robert; Zeldovich, Nickolai (2011-06-28)
    Multicore chips will have large amounts of fast on-chip cache memory, along with relatively slow DRAM interfaces. The on-chip cache memory, however, will be fragmented and spread over the chip; this distributed arrangement ...
  • Katzenelson, Jacob; Zippel, Richard (1987-12-01)
    A frustrating aspect of the frequent changes to large VLSI CAD systems is that so little of the old available programs can be reused. It takes too much time and effort to find the reusable pieces and recast them for ...
  • Brooks, Rodney A. (1982-05-01)
    Free space is represented as a union of (possibly overlapping) generalized cones. An algorithm is presented which efficiently finds good collision free paths for convex polygonal bodies through space littered with ...
  • McAllester, David Allen (1983-05-01)
    It is shown here that the equivalence class of an expression under the congruence closure of any finite set of equations between ground terms is a context free expression language. An expression is either a symbols or ...
  • Sussman, Gerald J. (MIT Artificial Intelligence Laboratory, 1973-12)
    Since mid July Steve Pauker, Jerome Kassirer, and I (Gerald Jay Sussman) have been observing the diagnostic process of expert physicians with the goal of abstracting the underlying procedures being followed. One purpose ...
  • Guzman-Arenas, Adolfo (1967-02-01)
    A computer may gather a lot of information from its environment in an optical or graphical manner. A scene, as seen for instance from a TV camera or a picture, can be transformed into a symbolic description of points ...
  • Marr, David C.; Poggio, Tomaso (1980-07-01)
    A number of developments have taken place since the formulation of Marr and Poggio's theory of human stereo vision. In particular, these concern the shape of the underlying receptive fields, the control of eye movements ...
  • Steels, Luc (MIT Artificial Intelligence Laboratory, 1978-12)
    This paper gives some examples of the conceptual grammar approach to the representation of linguistic knowledge. First we give a short overview of the language we use to represent knowledge. Then we discuss an example ...
  • Marroquin, Jose L.; Girosi, Federico (1993-01-01)
    In this paper we present some extensions to the k-means algorithm for vector quantization that permit its efficient use in image segmentation and pattern classification tasks. It is shown that by introducing state ...
  • Norton, Lewis M. (1962-01-01)
    The purpose of this paper is two-fold; 1) to explore the use of recursion induction in proving theorem about functions of symbolic expressions, in particular. 2) to investigate thoroughly the algebraic properties of the ...
MIT-Mirage