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

format is used to produce formatted output. format outputs the characters of control-string, except that a tilde (~) introduces a directive. The character after the tilde, possibly preceded by prefix ...

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

SCS researchers have developed a tool that uses text prompts to help people — and even robots — bring ideas to life with Lego bricks.

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

Personal: Commercial pilot and certified flight instructor. I own a twin-engine Piper Seneca II, nicknamed "The Beast". As a volunteer pilot I occasionally transport organs or patients for local ...

Alice had never been in a court of justice before, but she had read about them in books, and she was quite pleased to find that she knew the name of nearly everything there. `That's the judge,' she ...

2015 Scheduling Techniques for Hybrid Circuit/Packet NetworksHe Liu and Matthew K. Mukerjee and Conglong Li and Nicolas Feltman and George Papen and Stefan Savage and Srinivasan Seshan and Geoffrey M.

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

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

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