Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Research and Teaching Output of the MIT Community
- Home
- →
- Computer Science and Artificial Intelligence Lab (CSAIL)
- →
- Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
-
(MIT Artificial Intelligence Laboratory, 1987-01)Depicting an electrical circuit by a schematic is a tedious task that is a good candidate for automation. Programs that draft schematics with the usual algorithmic approach do not fully exploit knowledge of circuit function, ...
-
(1988-01-01)This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.
-
(2008-06)We put forward new benchmarks and solution concepts for Adversarial Mechanism Design, as defined by [MV07.a], and we exemplify them in the case of truly combinatorial auctions.We benchmark the combined performance (the sum ...
-
(2008-07)We put forward new benchmarks and solution concepts for Adversarial Mechanism Design, as defined by [MV07.a], and we exemplify them in the case of truly combinatorial auctions.We benchmark the combined performance (the sum ...
-
(MIT Artificial Intelligence Laboratory, 1976-01)This paper shows how a good internal model of the subject viewed aids in the visual recognition and following of key parts. The role of knowledge driven top-down tools and methods is shown by recognizing a series of human ...
-
(2005-10-19)Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowledge amongst principals. Because this ...
-
(2010-04-09)Most unmanned missions in space and undersea are commanded by a "script" that specifies a sequence of discrete commands and continuous actions. Currently such scripts are mostly hand-generated by human operators. This ...
-
(2005-09-08)Research in object detection and recognition in cluttered scenes requires large image collections with ground truth labels. The labels should provide information about the object classes present in each image, as well as ...
-
(1976-05-01)This report is a brief summary guide to work done in the M.I.T. Artificial Intelligence Laboratory directed at the production of tools for productivity technology research. For detailed coverage of the work, readers ...
-
(1976-11-01)In this paper, a sequel to "LAMBDA: The U ltimate Imperative", a new view of LAMBDA as a renaming operator is presented and contrasted with the usual functional view taken by L ISP. This view, combined with the view of ...
-
(1976-03-01)We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, ...
-
(1978-02-01)A number of image analysis tasks require the registration of a surface model with an image. In the case of satellite images, the surface model may be a map or digital terrain model in the form of surface elevations on ...
-
(2010-07-27)Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance optimization in situations where perfect ...
-
(MIT Artificial Intelligence Laboratory, 1980-03)
-
(2007-01-07)Many problems in vision involve the prediction of a class label for each frame in an unsegmented sequence. In this paper we develop a discriminative framework for simultaneous sequence segmentation and labeling which can ...
-
(MIT Artificial Intelligence Laboratory, 1977-05-10)This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and ...
-
(MIT Artificial Intelligence Laboratory, 1976-11)This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
-
(2011-10-12)We consider the problem of leader election (LE) in single-hop radio networks with synchronized time slots for transmitting and receiving messages. We assume that the actual number n of processes is unknown, while the size ...
-
(2002-12-01)I present a system for robust leaderless organization of an amorphous network into hierarchical clusters. This system, which assumes that nodes are spatially embedded and can only talk to neighbors within a given radius, ...
-
(1975-12-01)"LOGO" is sometimes used as the name of a programming language. It is also used as the name of...what shall I call it?... an environment, a culture, a way of thinking about computers and about learning and about putting ...
Browse
My Account
MIT-Mirage