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:

  • Jacobs, David W. (1989-11-01)
    This paper presents a new method of grouping edges in order to recognize objects. This grouping method succeeds on images of both two- and three- dimensional objects. So that the recognition system can consider first ...
  • Braunegg, David J. (MIT Artificial Intelligence Laboratory, 1989-03)
    This cookbook contains recipes prepared for the GSL (Graduate Student Lunch) at the Massachusetts Institute of Technology Artificial Intelligence Laboratory.
  • Beeler, Michael; Cohen, Joseph D.; White, John L. (MIT Artificial Intelligence Laboratory, 1974-01)
    This memo describes two GT40 programs: URUG, an octal micro-debugger: and VT07, a Datapoint simulator and general display package. There is also a description of the MITAI LISP display slave, and how it uses VT07 as a ...
  • Devadas, Srinivas; Cho, Myong Hyon; Shim, Keun Sup; Lis, Mieszko (2009-08-18)
    In-order packet delivery, a critical abstraction for many higher-level protocols, can severely limit the performance potential in low-latency networks (common, for example, in network-on-chip designs with many cores). While ...
  • Hewitt, Carl; Attardi, Giuseppe (MIT Artificial Intelligence Laboratory, 1980-12)
    In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the ...
  • Jackson, Daniel; Estler, H.-Christian; Rayside, Derek (2009-07-03)
    This paper presents a new general-purpose algorithm for exact solving of combinatorial many-objective optimization problems. We call this new algorithm the guided improvement algorithm. The algorithm is implemented on top ...
  • Hsu, Eugene; Silva, Marco da; Popovic, Jovan (2007-08-01)
    Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing constraints or modifying the acting of ...
  • Stacy, Christopher C. (MIT Artificial Intelligence Laboratory, 1982-01-27)
    It is said that it is not wise to dabble in the Arts without care and caution, for the spell is at once subtle and dangerous: Look herein! For if you read carefully and closely, you can incant a Word of Magic, and the ...
  • Tacchetti, Andrea; Mallapragada, Pavan S.; Santoro, Matteo; Rosasco, Lorenzo (MIT CSAIL, 2012-01-31)
    We present GURLS, a toolbox for supervised learning based on the regularized least squares algorithm. The toolbox takes advantage of all the favorable properties of least squares and is tailored to deal in particular with ...
  • HAKMEM 
    Beeler, M.; Gosper, R.W.; Schroeppel, R. (1972-02-01)
    Here is some little know data which may be of i nterest to computer hackers. The items and examples are so sketchy that to decipher them may require more sincerity and curiosity than a non-hacker can muster. Doubtless, ...
  • Ernst, Michael D.; Kiezun, Adam; Ganesh, Vijay; Guo, Philip J.; Hooimeijer, Pieter (2009-02-04)
    Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more ...
  • Speckert, Glen (MIT Artificial Intelligence Laboratory, 1976-07)
    This paper describes a simple method of converting visual coordinates to arm coordinates which does not require knowledge of the position of the camera(s). Comparisons are made to other methods and two camera, three ...
  • Beeler, Michael (1967-03-01)
    SERVO is intended as an engineering and programming analyzing and debugging aid for use with devices connected through the input and output multiplexers to the PDP-6. Cannel numbers and values to output, as well as ...
  • Noftsker, Russell (1966-10-01)
    Note: Computer control of Input Multiplexer and Output Sample and Hold is available when clock and test switches on the I/O box are in "Computer Input" and "Computer Output" positions, respectively. Manual operation of the ...
  • Kushman, Nate; Adib, Fadel; Katabi, Dina; Barzilay, Regina (2013-09-10)
    Consider the problem of migrating a company's CRM or ERP database from one application to another, or integrating two such databases as a result of a merger. This problem requires matching two large relational schemas with ...
  • Martin, William A. (1964-06-25)
    A common operation in non-numerical analysis is the comparison of symbolic mathematical expressions. Often equivalence under the algebraic and trigonometric relations can be determined with the high probability by hash-coding ...
  • Horn, Berthold K.P. (1989-05-01)
    The method described here for recovering the shape of a surface from a shaded image can deal with complex, wrinkled surfaces. Integrability can be enforced easily because both surface height and gradient are represented. ...
  • Kinsy, Michel; Pellauer, Michael (2010-12-08)
    Heracles is an open-source complete multicore system written in Verilog. It is fully parameterized and can be reconfigured and synthesized into different topologies and sizes. Each processing node has a 7-stage pipeline, ...
  • Brooks, Rodney A.; Connell, Jonathan; Ning, Peter (1988-01-01)
    In mobile robot research we believe the structure of the platform, its capabilities, the choice of sensors, their capabilities, and the choice of processors, both onboard and offboard, greatly constrains the direction of ...
  • Mallery, John C.; Hurwitz, Roger; Duffy, Gavan (1986-05-01)
    Hermeneutics, a branch of continental European philosophy concerned with human understanding and the interpretation of written texts, offers insights that may contribute to the understanding of meaning, translation, ...
MIT-Mirage