Advanced Search
DSpace@MIT

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Sort by: Order: Results:

  • The Quorum Deployment Problem 
    Gilbert, Seth; Malewicz, Grzegorz (2004-10-29)
    Quorum systems are commonly used to maintain the consistency of replicated data in adistributed system. Much research has been devoted to developing quorum systems with good theoreticalproperties, such as fault tolerance ...
  • The Satisfiability Threshold of Random 3-SAT Is at Least 3.52 
    Hajiaghayi, MohammadTaghi; Sorkin, Gregory B. (2003-11-20)
    We prove that a random 3-SAT instance with clause-to-variable densityless than 3.52 is satisfiable with high probability.The proof comes through an algorithm which selects (and sets) a variabledepending on its degree and ...
  • The Security Power of the Ballot Box 
    Lepinski, Matt; Izmalkov, Sergei (2005-02-02)
    We show that any function F can be securely evaluated by a protocolwith ballots and a ballot box. That is, N mutually suspicious players,each player possessing a secret input, can use ballots and a ballotbox to jointly ...
  • Thesis Progress Report: A System for Representing and Using Real-World Knowledg 
    Fahlman, Scott E. (1975-05-01)
    This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which ...
  • The Symmetriad: A Journey of Discovery Through the Land of the Polychora 
    Radul, Alexey (2005)
    I devised and implemented a method for constructing regular andsemiregular geometric objects in n-dimensional Euclidean space.Given a finite reflection group (a Coxeter group) G, there is a standard way to give G a group ...
  • The Theory of Timed I/O Automata 
    Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2003-08-27)
    Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
  • The Theory of Timed I/O Automata 
    Kaynor, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2005-03-02)
    This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
  • Thinking About Lots of Things at Once without Getting Confused: Parallelism in Act 1 
    Lieberman, Henry (1981-05-01)
    As advances in computer architecture and changing economics make feasible machines with large-scale parallelism, Artificial Intelligence will require new ways of thinking about computation that can exploit parallelism ...
  • Thread Scheduling Mechanisms for Multiple-Context Parallel Processors 
    Fiske, James A. Stuart (1995-06-01)
    Scheduling tasks to efficiently use the available processor resources is crucial to minimizing the runtime of applications on shared-memory parallel processors. One factor that contributes to poor processor utilization ...
  • Three Cuts for Accelerated Interval Propagation 
    McAllester, D.; Henlenryck, P. Van; Kapur, T. (1995-05-01)
    This paper addresses the problem of nonlinear multivariate root finding. In an earlier paper we described a system called Newton which finds roots of systems of nonlinear equations using refinements of interval methods. ...
  • Three-Dimensional Correspondence 
    Shelton, Christian R. (1998-12-01)
    This paper describes the problem of three-dimensional object correspondence and presents an algorithm for matching two three-dimensional colored surfaces using polygon reduction and the minimization of an energy function. ...
  • The Three-Dimensional Interpretation of a Class of Simple Line-Drawings 
    Marill, Thomas (1995-10-01)
    We provide a theory of the three-dimensional interpretation of a class of line-drawings called p-images, which are interpreted by the human vision system as parallelepipeds ("boxes"). Despite their simplicity, p-images ...
  • Three-Dimensional Motion Estimation Using Shading Information in Multiple Frames 
    Schott, Jean-Pierre (1989-09-01)
    A new formulation for recovering the structure and motion parameters of a moving patch using both motion and shading information is presented. It is based on a new differential constraint equation (FICE) that links the ...
  • Three-Dimensional Recognition of Solid Objects from a Two-Dimensional Image 
    Huttenlocher, Daniel Peter (1988-10-01)
    This thesis addresses the problem of recognizing solid objects in the three-dimensional world, using two-dimensional shape information extracted from a single image. Objects can be partly occluded and can occur in ...
  • A Three-Step Procedure for Language Generation 
    Katz, Boris (1980-12-01)
    This paper outlines a three-step plan for generating English text from any semantic representation by applying a set of syntactic transformations to a collection of kernel sentences. The paper focuses on describing a ...
  • A Three Valued Truth Maintenance System 
    McAllester, David A. (1978-05-01)
    Truth maintenance systems have been used in recently developed problem solving systems. A truth maintenance system (TMS) is designed to be used by deductive systems to maintain the logical relations among the beliefs ...
  • Throwing Down the Visual Intelligence Gauntlet 
    Tan, Cheston; Leibo, Joel Z; Poggio, Tomaso (2012)
    In recent years, scientific and technological advances have produced artificial systems that have matched or surpassed human capabilities in narrow domains such as face detection and optical character recognition. However, ...
  • TIARA: Trust Management, Intrusion-tolerance, Accountability, and Reconstitution Architecture 
    Shrobe, Howard; Knight, Thomas; Hon, Andre de (2007-05-30)
    The last 20 years have led to unprecedented improvements in chipdensity and system performance fueled mainly by Moore's Law. Duringthe same time, system and application software have bloated, leadingto unmanageable ...
  • Time-Frequency Representations for Speech Signals 
    Riley, Michael D. (1987-05-01)
    This work addresses two related questions. The first question is what joint time-frequency energy representations are most appropriate for auditory signals, in particular, for speech signals in sonorant regions. The ...
  • Time-Reversible Maxwell's Demon 
    Skordos, P. A. (1992-09-01)
    A time-reversible Maxwell's demon is demonstrated which creates a density difference between two chambers initialized to have equal density. The density difference is estimated theoretically and confirmed by computer ...
MIT-Mirage