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 ...

Reed-Solomon algebraic decoding procedures can correct errors and erasures. An erasure occurs when the position of an erred symbol is known. A decoder can correct up to t errors or up to 2t erasures.

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

Quotations are indexed alphabetically by their author. For authors with multiple quotations, the quotations are alphabetized by the first word in the quotations.

Tackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and ...

This webpage is a benchmark data set for keystroke dynamics. It is a supplement to the paper "Comparing Anomaly-Detection Algorithms for Keystroke Dynamics," by Kevin Killourhy and Roy Maxion, ...

Phil Gibbons is a Professor in the Computer Science Department and the Electrical & Computer Engineering Department at Carnegie Mellon University. He received his Ph.D. in Computer Science from the ...

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 ...

During the invocation of a function represented by a lambda-expression (or a closure of a lambda-expression, as produced by function), new bindings are established for the variables that are the ...

I am interested in mobile robot autonomy. One of the first problems encountered when robots operate outside controlled factory and research environments is the need to perceive their surroundings. My ...

Introduction to Mechanisms Yi Zhang with Susan Finger Stephannie Behrens Table of Contents 1. Linkage mechanisms 1.1 Four bar linkages Linkage are composed of links and lower pairs. The simplest ...

Pseudorandom permutations from random reversible circuits W. Gay, W. He, N. Kocurek, R. O'Donnell Manuscript Quartic quantum speedups for planted inference Alexander Schmidhuber, R. O'Donnell, R.