Now showing items 2384-2403 of 3804

    • Operation of a Semantic Question-Answering System 

      Raphael, Bertram (1963-11-01)
      A computer program has been written in the LISP programming language which accepts information and answers questions presented to it in a restricted form of natural English language. The program achieves its effects by ...
    • Operational Semantics of a Data Flow Language 

      Brock, Jarvis D. (1978-12)
      A data flow machine achieves high performance by the concurrent execution of machine code consisting of data flow graphs which explicitly represent the data dependencies among program instructions. This thesis presents the ...
    • An Operator Embedding Theorem for Complexity Classes of Recursive Functions 

      Moll, Robert (1973-05)
      Let F (t) be the set of functions computable by some machine using no more than t(x) machine steps on all but finitely many arguments x. If we order the - classes under set inclusion as t varies over the recursive functions, ...
    • OPL-I An Open Ended Programming System Within CTSS 

      Weizenbaum, Joseph (1964-01)
      OPL-1, an incremental programming system presently operating with CTSS, permits the user to augment both his program and his data base during widely separated successive sessions at his terminal. Facilities are provided ...
    • OpLog: a library for scaling update-heavy data structures 

      Boyd-Wickizer, Silas; Kaashoek, M. Frans; Morris, Robert; Zeldovich, Nickolai (2014-09-16)
      Existing techniques (e.g., RCU) can achieve good multi-core scaling for read-mostly data, but for update-heavy data structures only special-purpose techniques exist. This paper presents OpLog, a general-purpose library ...
    • Opportunistic Log: Efficient Installation Reads in a Reliable Object Server 

      O'Toole, James; Shrira, Liuba (1994-04)
      In a distributed storage system, client caches managed on the basis of small granularity objects can provide better memory utilization then page-based caches. However, object servers, unlike page servers, must perform ...
    • The OPS-1 Manual 

      Greenberger, Martin (1964-05)
      The recent attainment and continuing development of personally accessible computer facilities have opened another chapter in the use of machines by man. A number of current research efforts, including Project MAC at M.I.T., ...
    • Optical Flow From 1D Correlation: Application to a Simple Time-To-Crash Detector 

      Ancona, Nicola; Poggio, Tomaso (1993-10-01)
      In the first part of this paper we show that a new technique exploiting 1D correlation of 2D or even 1D patches between successive frames may be sufficient to compute a satisfactory estimation of the optical flow field. ...
    • The Optical Flow of Planar Surfaces 

      Ullman, Shimon (1985-12-01)
      The human visual system can recover the 3D shape of moving objects on the basis of motion information alone. Computational studies of this capacity have considered primarily non-planar rigid objects. With respect to ...
    • Optimal and Player-Replaceable Consensus with an Honest Majority 

      Micali, Silvio; Vaikuntanathan, Vinod (2017-03-31)
      We construct a Byzantine Agreement protocol that tolerates t < n/2 corruptions, is very efficient in terms of the number of rounds and the number of bits of communication, and satisfies a strong notion of robustness called ...
    • Optimal Approximations of the Frequency Moments 

      Indyk, Piotr; Woodruff, David (2004-07-02)
      We give a one-pass, O~(m^{1-2/k})-space algorithm for estimating the k-th frequency moment of a data stream for any real k>2. Together with known lower bounds, this resolves the main problem left open by Alon, Matias, ...
    • Optimal Approximations of the Frequency Moments 

      Indyk, Piotr; Woodruff, David (2004-07-02)
      We give a one-pass, O~(m^{1-2/k})-space algorithm for estimating the k-th frequency moment of a data stream for any real k>2. Together with known lower bounds, this resolves the main problem left open by Alon, Matias, ...
    • Optimal Arrangement of Keys in a Hash Table 

      Rivest, Ronald L. (1976-07)
      When open addressing is used to resolve collisions in a hash table, a given set of keys may be arranged in many ways; typically this depends on the order in which the keys are inserted. We show that arrangements minimizing ...
    • Optimal Bayesian Estimators for Image Segmentation and Surface Reconstruction 

      Marroquin, Jose L. (1985-04-01)
      sA very fruitful approach to the solution of image segmentation andssurface reconstruction tasks is their formulation as estimationsproblems via the use of Markov random field models and Bayes theory.sHowever, the ...
    • Optimal Bidirectional Rapidly-Exploring Random Trees 

      Jordan, Matthew; Perez, Alejandro (2013-08-15)
      In this paper we present a simple, computationally-efficient, two-tree variant of the RRT* algorithm along with several heuristics.
    • Optimal Clock Synchronization Under Different Delay Assumptions 

      Attiya, Hagit; Herzberg, Amir; Rajsbaum, Sergio (1994-04)
      The problem of achieving optimal clock synchronization in a communication network with arbitrary topology and perfect clocks (that do not drift) is studied. Clock synchronization algorithms are presented for a large family ...
    • Optimal Distributed Algorithms for Sorting and Ranking 

      Zaks, Shmuel (1984-05)
      We study the problems of sorting and ranking n processors that have initial values - not necessarily distinct - in a distrubuted system. Sorting means that the initial values have to move around in the network and be ...
    • Optimal Parametric Auctions 

      Azar, Pablo; Micali, Silvio (2012-05-08)
      We study the problem of profit maximization in auctions of one good where the buyers' valuations are drawn from independent distributions. When these distributions are known to the seller, Myerson's optimal auction is a ...
    • Optimal Parametric Auctions 

      Azar, Pablo Daniel; Micali, Silvio (2012-06-14)
      We study the problem of an auctioneer who wants to maximize her profits. In our model, there are n buyers with private valuations drawn from independent distributions F_1,...,F_n. When these distributions are known to the ...
    • Optimal Placement for River Routing 

      Leiseron, Charles E.; Pinter, Ron Y. (1981-10)
      Programs for integrated circuit layout typically have two phases: placement and routing. The router should produce as efficient a layout as possible, but of course the quality of the routhing depends heavily on the quality ...