Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 673-692 of 3804
-
Conceptual Phrases and Deterministic English Parsing
(MIT Artificial Intelligence Laboratory, 1979-08)The grammar of many of the lower-level constituents of grammatical structures in English has not been a area of exciting new linguistic discovery, in contrast with study of clause-level constituents. The syntax of these ... -
Conclusions from the Commodity Expert Project
(1980-11-01)The goal of the commodity expert project was to develop a prototype program that would act as an intelligent assistant to a commodity market analyst. Since expert analysis must deal with very large, yet incomplete, ... -
A Concrete Approach to Abstract Recursive Definitions
(1972-06-01)We introduce a non-categorical alternative to Wagner's Abstract Recursive Definitions [Wg-1,2] using a generalization of the notion of clone called a u-clone. Our more concrete approach yields two new theorems: 1.) the ... -
Concurrency Control for Resilient Nested Transaction
(1983-02)Concurrency control theory is extended to handle nested transactions with failures. The theory is used to present a rigorous correctness proof of a variant of Moss' locking algorithm for implementing nested transactions. ... -
Concurrent Aggregates (CA): An Object-Oriented Language for Fine-Grained Message-Passing Machines
(1990-07-01)Fine-grained parallel machines have the potential for very high speed computation. To program massively-concurrent MIMD machines, programmers need tools for managing complexity. These tools should not restrict program ... -
Concurrent and Reliable Updates of Distributed Databases
(1979-11)A concurrent execution of transactions and various failures occuring during transaction processing in a distributed database system can lead to an inconsistent database state. In order to prevent such inconsistency from ... -
Concurrent Garbage Collection of Persistent Heaps
(1993-06)We describe the first concurrent compacting garbage collector for a persistent heap. Client threads read and write the heap in primary memory, and can independently commit or about their write operations. -
Concurrent Programming
(1978-10) -
Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism
(1985-10-01)We argue that the ability to model shared objects with changing local states, dynamic reconfigurability, and inherent parallelism are desirable properties of any model of concurrency. The actor model addresses these ... -
A Concurrent Smalltalk Compiler for the Message-Driven Processor
(1988-05-01)This thesis describes Optimist, an optimizing compiler for the Concurrent Smalltalk language developed by the Concurrent VLSI Architecture Group. Optimist compiles Concurrent Smalltalk to the assembly language of the ... -
Concurrent Smalltalk on the Message-Driven Processor
(1991-09-01)Concurrent Smalltalk is the primary language used for programming the J- Machine, a MIMD message-passing computer containing thousands of 36-bit processors connected by a very low latency network. This thesis describes ... -
Concurrent Systems Need Both Sequences And Serializers
(MIT Artificial Intelligence Laboratory, 1979-02)Contemporary concurrent programming languages fall roughly into two classes. Languages in the first class support the notion of a sequence of values and some kind of pipelining operation over the sequence of values. Languages ... -
Concurrent Timestamping Made Simple
(1992-09)Concurrent Timestamp Systems (CTSS) allow processes to temporally order concurrent events in an asynchronous shared memory system. Bounded memory constructions of a CTSS are extremely powerful tools for concurrency control, ... -
Concurrent/Resettable Zero-Knowledge Protocols for NP in the Public Key Model
(2000-08)We propose a four-round protocol for concurrent and resettable zero-knowledge arguments for any langauge in NP, assuming the verifier has a pre-registered public-key. We also propose a three-round protocol with an additional ... -
Conditional Random People: Tracking Humans with CRFs and Grid Filters
(2005-12-01)We describe a state-space tracking approach based on a Conditional Random Field(CRF) model, where the observation potentials are \emph{learned} from data. Wefind functions that embed both state and observation into a space ... -
Conditions for Viewpoint Dependent Face Recognition
(1993-08-01)Poggio and Vetter (1992) showed that learning one view of a bilaterally symmetric object could be sufficient for its recognition, if this view allows the computation of a symmetric, "virtual," view. Faces are roughly ... -
The Condor Programmer's Manual - Version II
(MIT Artificial Intelligence Laboratory, 1987-07)This is the CONDOR programmer's manual, that describes the hardware and software that form the basis of the real-time computational architecture built originally for the Utah-MIT hand. The architecture has been used ... -
Configuration Space Control
(1977-12-01)Complicated systems with non-linear time-varying behavior are difficult to control using classical linear feedback methods applied separately to individual degrees of freedom. At the present, mechanical manipulators, ... -
Congestion Control in Routing Networks
(1986-10)Multistage routing networks present an attractive cost-effective method of interconnection for medium to large scale multiprocessors. Recent results concerning performance degradation in the presence of "hot spots" have ... -
Connecting Homes to the Internet: An Engineering Cost Model of Cable vs. ISDN
(1995-06)Using the World Wide Web at 28.8 Kbps (or less) can be a frustrating experience: a multimedia page that takes a fraction of a second to download at Ethernet speeds takes many seconds at modem rates. Two enhancements to ...
