Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 2515-2534 of 2625
-
Using Synthetic Images to Register Real Images with Surface Models
(1977-08-01)A number of image analysis tasks can benefit from registration of the image with a model of the surface being imaged. Automatic navigation using visible light or radar images requires exact alignment of such images ...
-
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
(2006-03-08)AbstractThe Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on ...
-
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
(2007-02-16)The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on implementation ...
-
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
(2006-06-20)The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about theircorrectness using multiple levels of abstraction, based on implementation ...
-
Using The Barton Libraries Dataset As An RDF benchmark
(2007-07-06)This report describes the Barton Libraries RDF dataset and Longwell querybenchmark that we use for our recent VLDB paper on Scalable Semantic WebData Management Using Vertical Partitioning.
-
Using the EUTERPE Music System
(1971-10-01)This memo describes the practical implementation of programs written in the language EUTERPE. Details of this language are given in the author's thesis (A Parallel Processing Model of Musical Structures) and will not ...
-
Using the PUMA System
(MIT Artificial Intelligence Laboratory, 1985-04)This document describes the operation of the Lisp Machine interface to the Unimation Puma 600 Robot Arm. The interface is evolved from a system described in an earlier paper, and much is the same. However, the under-lying ...
-
Using the Vidisector and the Store Picture Facility
(MIT Artificial Intelligence Laboratory, 1972-06)The stored picture facility (FAKETV) allows LISP users, and to some extent machine language users, to access a library of stored images rather than live vidisector scenes. The vidisector functions in LISP have been slightly ...
-
Utilizing Dynamic Stability to Orient Parts
(1988-02-01)The intent of this research is to study the dynamic behavior of a solid body resting on a moving surface. Results of the study are then used to propose methods for controlling the orientation of parts in preparation ...
-
Value-Deviation-Bounded Serial Data Encoding for Energy-Efficient Approximate Communication
(2015-06-04)Transferring data between ICs accounts for a growing proportion of system power in wearable and mobile systems. Reducing signal transitions reduces the dynamic power dissipated in this data transfer, but traditional ...
-
Variable Precision Logic
(1985-08-01)Variable precision logic is concerned with problems of reasoning with incomplete information and under time constraints. It offers mechanisms for handling trade-offs between the precision of inferences and the ...
-
The Variational Approach to Shape from Shading
(1985-03-01)We develop a systematic approach to the discovery of parallel iterative schemes for solving the shape-from-shading problem on a grid. A standard procedure for finding such schemes is outlines, and subsequently used ...
-
A Vector Signal Processing Approach to Color
(1992-01-01)Surface (Lambertain) color is a useful visual cue for analyzing material composition of scenes. This thesis adopts a signal processing approach to color vision. It represents color images as fields of 3D vectors, from ...
-
Vector-Based Integration of Local and Long-Range Information in Visual Cortex
(1996-01-18)Integration of inputs by cortical neurons provides the basis for the complex information processing performed in the cerebral cortex. Here, we propose a new analytic framework for understanding integration within ...
-
Vectorizing Face Images by Interpreting Shape and Texture Computations
(1995-09-01)The correspondence problem in computer vision is basically a matching task between two or more sets of features. In this paper, we introduce a vectorized image representation, which is a feature-based representation where ...
-
Velocity Space and the Geometry of Planetary Orbits
(1974-12-01)We develop a theory of orbits for the inverse-square central force law which differs considerably from the usual deductive approach. In particular, we make no explicit use of calculus. By beginning with qualitative ...
-
Verb Classes and Alternations in Bangla, German, English, and Korean
(1996-05-06)In this report, we investigate the relationship between the semantic and syntactic properties of verbs. Our work is based on the English Verb Classes and Alternations of (Levin, 1993). We explore how these classes are ...
-
Verifiably Secure Devices
(2007-12-05)We put forward the notion of a verifiably secure device, in essence a stronger notion of secure computation, and achieve it in the ballot-box model. Verifiably secure devices1. Provide a perfect solution to the problem of ...
-
Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
(2010-12-03)Commuting operations play a critical role in many parallel computing systems. We present a new technique for verifying commutativity conditions, which are logical formulas that characterize when operations commute. Because ...
-
Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
(2013-06-19)Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is ...