I am currently the chair of CATCS . Please check it out - we welcome any suggestions. I was the PC chair of SODA, 2024 . The accepted papers are here. An alternative talk schedule format is here. A ...

I have enjoyed reading (and writing), collecting, and pondering the following quotations, which I think are all relevant to teaching and learning programming. If you know any others that you think I ...

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 Crawler Workbench is a graphical user interface that lets you configure and control a customizable web crawler. Using the Crawler Workbench, you can: Visualize a collection of web pages as a graph ...

I'm a professor in the Machine Learning Department at Carnegie Mellon. I am also affiliated with the Robotics Institute. I'm interested in multi-agent planning, reinforcement learning, ...

Thread operations include thread creation, termination, synchronization (joins,blocking), scheduling, data management and process interaction. A thread does not maintain a list of created threads, nor ...

Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.

Linkage are composed of links and lower pairs. The simplest closed-loop linkage is the four-bar linkage, which has three moving links, one fixed link and four pin joints. A linkage with one link fixed ...

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...

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

This is a graduate research seminar on Homotopy Type Theory (HoTT), a recent enrichment of Intuitionistic Type Theory (ITT) to include "higher-dimensional" types. The dimensionality of a type refers ...

Winner of the 2003 James Hardy Wilkinson Prize in Numerical Software. Created at Carnegie Mellon University as part of the Quake project (tools for large-scale earthquake simulation). Supported by an ...