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

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

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

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

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

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

Reed-Solomon codes are block-based error correcting codes with a wide range of applications in digital communications and storage. Reed-Solomon codes are used to ...

I lead the Transportation, Bots, & Disability Lab, where you can usually find more up to date information. I am faculty in the Robotics Institute, with a courtesy appointment in the Human-Computer ...

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