Bigtable: A Distributed Storage System for Structured Data, Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI), November 2006. Best paper award (tied). Keir Fraser ...

Professor Theory Group, Department of Computer Science, Carnegie Mellon University Research interests : algorithms, data streams, machine learning, numerical linear algebra, sketching, and sparse ...

We introduce a stochastic graph-based method for computing relative importance of textual units for Natural Language Processing. We test the technique on the problem of Text Summarization (TS).

The POSIX thread libraries are a standards based thread API for C/C++. It allows one to spawn a new concurrent process flow. It is most effective on multi-processor or multi-core systems where the ...

Predicting the Past: Estimating Historical Appraisals with OCR and Machine Learning. Mihir Bhaskar, Jun Tao Luo, Zihan Geng, Asmita Hajra, Junia Howell, Matthew R. Gormley ...

Frank Pfenning Personal Home PageRecent Drafts, Talks, and Publications See also Publications (as of July 29, 2023), DBLP, Google Scholar Profile Substructural Parametriciy C. B. Aberlé, Chris Martens ...

Carnegie Mellon’s School of Computer Science is widely recognized as one of the first and best computer science programs in the world. Our programs train the next generation of innovators to solve ...

Performance Modeling, Queueing Theory, Stochastic ProcessesPerformance Modeling and Design of Computer Systems: Queueing Theory in Action Author: Prof. Mor Harchol-Balter Published: February 2013 ...

Created as part of the Archimedes project (tools for parallel finite element methods). Supported in part by NSF Grant CMS-9318163 and an NSERC 1967 Scholarship. Many computational geometry ...

What you see is pinyin, literally 'spell out the sound'. It's a system for romanizing Chinese ideograms, used in mainland China for Mandarin, a.k.a. putonghua. Different systems are used in Hong Kong, ...

Introduction to Mechanisms Yi Zhang with Susan Finger Stephannie Behrens Table of Contents 1 Physical Principles 1.1 Force and Torque 1.1.1 Force 1.1.2 Torque 1.2 Motion 1.2.1 Motion Along a Straight ...

You are organizing a conference in social choice theory, with a festive dinner on the first day. The catering service has 1024 different dinner choices they know how to make, out of which you need to ...