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:

  • Shashua, Amnon; Toelg, Sebastian (1994-06-01)
    The conceptual component of this work is about "reference surfaces'' which are the dual of reference frames often used for shape representation purposes. The theoretical component of this work involves the question ...
  • Williams, Brian C. (1984-07-01)
    With the push towards sub-micron technology, transistor models have become increasingly complex. The number of components in integrated circuits has forced designer's efforts and skills towards higher levels of design. ...
  • Kleer, Johan De (1975-12-01)
    This thesis investigates what knowledge is necessary to solve mechanics problems. A program NEWTON is described which understands and solves problems in mechanics mini-world of objects moving on surfaces. Facts and ...
  • Weinshall, Daphna (1987-12-01)
    Obtaining exact depth from binocular disparities is hard if camera calibration is needed. We will show that qualitative depth information can be obtained from stereo disparities with almost no computations and with ...
  • Brown, Allen (1976-11-01)
    This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. ...
  • Brown, Allen L. (MIT Artificial Intelligence Laboratory, 1974-03)
    A research program is proposed, the goal of which is a computer system that embodies the knowledge and methodology of a competent radio repairman.
  • Forbus, Kenneth D. (1983-05-01)
    Things move, collide, flow, bend, heat up, cool down, stretch, break and boil. These and other things that happen to cause changes in objects over time are intuitively characterized as processes. To understand common ...
  • Forbus, Kenneth D. (1984-07-01)
    Objects move, collide, flow, bend, heat up, cool down, stretch, compress and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand common sense ...
  • Kuncak, Viktor (2007-01-01)
    Boolean Algebra with Presburger Arithmetic (BAPA) combines1) Boolean algebras of sets of uninterpreted elements (BA)and 2) Presburger arithmetic operations (PA). BAPA canexpress the relationship between integer variables ...
  • Marr, David; Pettigrew, J. D. (MIT Artificial Intelligence Laboratory, 1973-12)
    A quantitative summary is given of the computation that is performed by visual cortex in the cat. Part of this computation seems to be achieved using a sample-and-average technique; some quantitative features of this ...
  • Ward, Allen C.; Seering, Warren (1989-01-01)
    This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from ...
  • McCamant, Stephen; Ernst, Michael D. (2007-12-10)
    We present a new technique for determining how much information abouta program's secret inputs is revealed by its public outputs. Incontrast to previous techniques based on reachability from secretinputs (tainting), it ...
  • McCamant, Stephen; Ernst, Michael D. (2006-11-17)
    We present a new approach for tracking programs' use of data througharbitrary calculations, to determine how much information about secretinputs is revealed by public outputs. Using a fine-grained dynamicbit-tracking ...
  • Wadhwa, Neal; Rubinstein, Michael; Durand, Fredo; Freeman, William T. (2014-04-26)
    Recently, we presented a new image pyramid, called the Riesz pyramid, that uses the Riesz transform to manipulate the phase in non-oriented sub-bands of an image sequence to produce real-time motion-magnified videos. In ...
  • Gombolay, Matthew; Golen, Toni; Shah, Neel; Shah, Julie (MIT CSAIL, 2014-12-16)
    Labor and Delivery is a complex clinical service requiring the support of highly trained healthcare professionals from Obstetrics, Anesthesiology, and Neonatology and the access to a finite set of valuable resources. In ...
  • Moses, Joel (1967-03-01)
    One of the most widely used routines in an algebraic manipulation system is a polynomial manipulation package (1,2,3). The crucial operation in such routines is the extraction of the Greatest Common Divisor (GCD) of ...
  • Steele, Guy Lewis, Jr. (1978-05-01)
    We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates ...
  • Hutchinson, James M. (1993-12-01)
    Nonlinear multivariate statistical techniques on fast computers offer the potential to capture more of the dynamics of the high dimensional, noisy systems underlying financial markets than traditional models, while ...
  • Beal, Jacob; Gilbert, Seth (2003-12-17)
    We present an algorithm to store data robustly in a large, geographically distributed network by means of localized regions of data storage that move in response to changing conditions. For example, data might migrate away ...
  • Beal, Jacob; Gilbert, Seth (2003-12-17)
    We present an algorithm to store data robustly in a large, geographically distributed network by means of localized regions of data storage that move in response to changing conditions. For example, data might migrate away ...
MIT-Mirage