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:

  • Christoudias, C. Mario; Urtasun, Raquel; Darrell, Trevor (2008-02-17)
    Object recognition accuracy can be improved when information frommultiple views is integrated, but information in each view can oftenbe highly redundant. We consider the problem of distributed objectrecognition or indexing ...
  • Liskov, Moses; Milcali, Silvio (2003-10-14)
    We build on the work of Micali, Rabin, and Killian [4] to introduce zero-knowledge sets and databases that may be updated in a desirable way. In particular, in order to make an update the owner of the set must publish a ...
  • Hart, Timothy (1965-11-01)
    This memo presupposes some acquaintance with "A Machine Oriented Logic Based on the Resolution Principle", J.A. Robinson, JACM Jan65. The reader unfamiliar with this paper should be able to get a general idea of the ...
  • Micali, Silvio (2009-06-15)
  • Brown, Richard (1977-04-01)
    We will take the view that the end result of problem solving in some world should be increased expertness. In the context of computers, increasing expertness means writing programs. This thesis is about a process, ...
  • Mansour, Hormoz (1985-11-01)
    A patient rarely has a single, isolated disease. The situation is usually much more complex since the different parts of the human organism and metabolism interact with each other and follow several feedback patterns. ...
  • Doyle, Jon (MIT Artificial Intelligence Laboratory, 1976-11)
    Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent dependency relationships between ...
  • McAllester, David Allen (1980-01-01)
    This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order ...
  • Jacobs, David W. (1988-01-01)
    The report describes a recognition system called GROPER, which performs grouping by using distance and relative orientation constraints that estimate the likelihood of different edges in an image coming from the same ...
  • Samson, Peter (1965-07-01)
    MACIMP is a PDP-6 program which can load from DECtape to core memory, dump core onto DECtape, or verify a previously dumped filel against memory. Normally, just before it loads, it clears all of memory to 0 (except itself ...
  • Kornfeld, William A. (1981-03-01)
    The role of parallel processing in heuristic search is examined by means of an example (cryptarithmetic addition). A problem solver is constructed that combines the metaphors of constraint propagation and hypothesize-and-test. ...
  • Vaina, Lucia M.; Greenblatt, Richard D. (MIT Artificial Intelligence Laboratory, 1979-09-05)
    We propose a new type of semantic memory, called thread memory. The primitives of this memory are threads, defined as keyed multilink, loop-free chains, which link semantic nodes. All links run from superordinate categories ...
  • Golden, Jeffrey P. (1970-12-01)
    The LISCOM version of the AI group PDP/6 LISP compiler is a descendant of the original Greenblatt-Nelson compiler, and is a friendly sibling to the COMPLR version maintained by Jon L. White. The compiler operates in two ...
  • Hofmeister, Scott; Ruecker, Lukas (MIT Artificial Intelligence Laboratory, 1991-08-18)
  • Igarashi, Takeo; Durand, Fredo; Rivers, Alec (2010-05-05)
    We describe a user study comparing 3D Modeling with Silhouettes and Google SketchUp. In the user study, ten users were asked to create 3D models of three different objects, using either 3D Modeling with Silhouettes or ...
  • Papert, Seymour (1973-06-01)
    Section 1: Schematic outline of project and what we want. Hardly any intellectual content. Section 2: Statement of our goals in general terms. This statement is intended to have serious intellectual content but lacks meaty ...
  • Chklovski, Timothy (2003-02-12)
    The goal of the work reported here is to capture the commonsense knowledge of non-expert human contributors. Achieving this goal will enable more intelligent human-computer interfaces and pave the way for computers to ...
  • Agarwal, Anant; Rinard, Martin; Sidiroglou, Stelios; Misailovic, Sasa; Hoffmann, Henry (2009-09-03)
    Many modern computations (such as video and audio encoders, Monte Carlo simulations, and machine learning algorithms) are designed to trade off accuracy in return for increased performance. To date, such computations ...
  • Balas, Benjamin (2005-02-07)
    Traditionally, human texture perception has been studied using artificial textures made of random-dot patterns or abstract structured elements. At the same time, computer algorithms for the synthesis of natural textures ...
  • Perlman, Radia (1976-05-01)
    TORTIS is a system of special terminals together with software which is designed to provide programming capability and be accesible for use by very young children. The system is designed to add capabilities in small ...
MIT-Mirage