Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 796-815 of 3804
-
CryptDB: A Practical Encrypted Relational DBMS
(2011-01-26)CryptDB is a DBMS that provides provable and practical privacy in the face of a compromised database server or curious database administrators. CryptDB works by executing SQL queries over encrypted data. At its core are ... -
The Cryptographic Security of Compact Knapsacks (Preliminary Report)
(1980-04)In 1978, Merkle and Hellman introduced a knapsack-based public-key cryptosystem, which received widespread attention. The two major open problems concerning this cryptosystem are: (i) Security: How difficult are the ... -
Cryptographic Treatment of CryptDB's Adjustable Join
(2012-03-25)In this document, we provide a cryptographic treatment of the adjustable join protocol from CryptDB. We also discuss how our scheme could be used outside of CryptDB because it provides a simple functionality that may be ... -
Cryptology and Data Communications
(MIT Artificial Intelligence Laboratory, 1976-12)This paper is divided into two parts. The first part deals with cryptosystems and cryptanalysis. It surveys the basic information about cryptosystems and then addresses two specific questions. Are cryptosystems such as ... -
CTSS LISP Notice-Supplement to A.I. Memo No. 67
(1964-12-01)The LISP system (command version) has been updated. Bugs are corrected include: 1. out of pushdown list in compiled function will not transfer to 77777. 2. with compiler printing turned off by comprint, it is truly off. ... -
CTSS Technical Notes
(1965-03)This report is a technical description of the 7094 Compatible Time-Sharing System in use at Project MAC and the M.I.T. Computation Center. It is designed to acquaint a system programmer with the techniques of construction ... -
The Curvature Primal Sketch
(1984-02-01)In this paper we introduce a novel representation of the significant changes in curvature along the bounding contour of planar shape. We call the representation the curvature primal sketch. We describe an implemented ... -
The Curve of Least Energy
(1981-01-01)Here we search for the curve which has the smallest integral of the square of curvature, while passing through two given points with given orientation. This is the true shape of a spline used in lofting. In computer-aided ... -
Curved Inertia Frames: Visual Attention and Perceptual Organization Using Convexity and Symmetry
(1991-10-01)In this paper we present an approach to perceptual organization and attention based on Curved Inertia Frames (C.I.F.), a novel definition of "curved axis of inertia'' tolerant to noisy and spurious data. The definition ... -
D-SCRIPT: A Computational Theory of Descriptions
(1973-02-01)This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are ... -
Data and Code for "A New Approach to Animacy Detection"
(2018-06-07)This archive contains the code and data for the workshop article "A New Approach to Animacy Detection," published in 2018 in the the 27th International Conference on Computational Linguistics (COLING 2018), in Santa Fe, ... -
Data and Code for "Automatic Identification of Narrative Diegesis and Point of View"
(2016-11-09)This archive contains the code and data for the workshop article "Automatic Identification of Narrative Diegesis and Point of View," published in 2016 in the 2nd Workshop for Computing News Storylines (CNewsStory 2016), ... -
Data and Model-Driven Selection Using Color Regions
(1992-02-01)A key problem in model-based object recognition is selection, namely, the problem of determining which regions in the image are likely to come from a single object. In this paper we present an approach that extracts ... -
Data and Model-Driven Selection Using Parallel-Line Groups
(1993-05-01)A key problem in model-based object recognition is selection, namely, the problem of isolating regions in an image that are likely to come from a single object. This isolation can be either based solely on image data ... -
Data Backup and Recovery in a Computer Architecture for Functional
(1985-10)The Vim computer system, an experimental project under development in the MIT/LCS Computation Structures Group, is intended to examine the efficient implementation of functional languages using the principles of data flow ... -
Data Communications via Cable Television Networks: Technical and Policy Considerations
(1982-05)Cable television networks offer peak communication data rates that are orders of magnitude greater than the telephone local loop. Although one-way television signal distribution continues to be the primary application of ... -
Data Driven Loops
(1980-08)The notion of the data driven loop arises in connection with our work in the Very High Level Language HIBOL and the automatic programming system (ProtoSystem I) that supports it. Although the concept is of general interest ... -
A Data Flow Architecture with Improved Asymptotic Performance
(1981-04)Large scale integration presents a unique opportunity to design a computer compromising large numbers of small, inexpensive processors. This paper presents a design for such a machine based on the asynchronous and functional ... -
Data Flow Computer Architecture Final Report
(1987-10)This report covers the work done by Computation Structures Group of the MIT Laboratory for Computer Science on developing models, languages, and architectures for data flow computation from 1966 to the end 1985. The work ... -
Data Model Equivalence
(1978-12)The current proliferation of proposals for database system data models and the desire for database systems which support several different data models raise many questions concerning "equivalence properties" of different ...
