Browsing LCS Publications by Title
Now showing items 566-585 of 1163
-
The Integration of the Organization Engine and Library 2000
(1992-05)In the contemporary research environment, users access and manipulate information gathered from diverse data sources. The organization Engine is a prototype being developed at the Cambridge Research Lab of Digital Equipment ... -
Intelligent Physiologic Modeling
(1986-04)This thesis describes the design and implementation of a knowledge based physiologic modeling systems (KBPMS) and a preliminary evaluation of its use as a learning resource within the context of an experimental medical ... -
An Interactive Approach to the Indentification and Extraction of Visual Events
(1998-02)This report describes an interactive approach to the computerized processing and interpretation of visual information. The objective is to facilitate the development of interactive applications that analyze and interpret ... -
Interactive Computer-mediated Animation
(1969-06)The use of interactive computer graphics in the construction of animated visual displays is investigated. The dissertation presents a process called interactive computer-mediated animation, in which dynamic displays are ... -
Interactive Design Coordination for the Building Industry
(1970-06)The problem of effective communication in the process of building design and construction is widely recognized. The involvement of several design disciplines combined with the tendency for designers to work in distinct ... -
An Interactive Implementation of the ToddCoxeter Algorithm
(1973-12)The Todd-Coxeter algorithm provides a systematic approach to the enumeration of cosets of a finitely presented group. This memo describes an interactive implementation of algorithm, including a manual on its use, examples, ... -
An Interactive Programming System for Media Computation
(1994-09)As digital video is manipulated by increasingly powerful computers, many new applications are becoming viable. This report investigates the programming language aspects of controlling such video applications. It presents ... -
An Interchange Standard and System for Browsing Digital Documents
(1995-05)With the advent of fast global digital communication networks, information will increasingly be delivered in electronic form. In addition, as libraries become increasingly more computerized, not just card catalogs but ... -
An Intermediate Form for Data Flow Programs
(1979-11)A data flow program, often represented as a data flow graph, is a program that expresses a computation by indicating the data dependencies among operators. A data flow computer is a machine designed to take advantage of ... -
Internal Consistency of a Distributed Transaction System with Orphan Detection
(1983-01)This thesis defines a property called "view-serializability", which formalizes internal consistency for a system of nested atomic transactions. Internal consistency is a stronger condition than the usual notion of data ... -
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables
(1980-10)The compilation of highly modular programs requires extensive interprocedural analysis in order to produce reasonable object code. Such analysis is greatly complicated when the source language contains such constructs as ... -
Interval and Recency-rank Source Coding: Two On-line Adaptive Variable-length Schemes
(1986-04)In these schemes the encoder maps each message into a codeword in a prefix-free codeword set. In interval encoding the codeword is indexed by the interval since the last previous occurrence of that message, and the codeword ... -
Introduction to Multics
(1974-02)The Multics project was begun in 1964 by the Computer Systems Research group of M.I.T. Project MAC. The goal was to create a prototype of a computer utility. In 1965, the project became a cooperative venture of M.I.T. ... -
Introduction to the Theory of Nested Transactions
(1986-07)A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm. -
Investigation of a Preemptive Network Architecture
(1994-05)Two network architectures, cell and packet, form the basis of most high bandwidth network research. If analyzed from the perspective of building a switch, both architectures have unique advantages. The preemptive ... -
Investigation of an Analog Technique to Decrease Pentracking Time in Computer Display
(1966-03)Many modern digital computer systems contain cathode-ray tube display equipment to facilitate man-machine communications. Through the use of a display and a light-sensitive pen, graphical material can be directly inserted ... -
An Investigation of Current Language Support for the Data Requirements of Structured Programming
(1974-09)Structured programming is a new method for constructing reliable programs. Structured programming relies upon a systematic technique of top-down development which involves the refinement of both control structures and data ... -
The IOA Simulator
(2002-07)