Hi! My name is Satya. That's short for "Satyanarayanan". I'm a faculty member in the School of Computer Science at Carnegie Mellon University. As an experimental computer scientist, I design, ...

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

Scientologists have admirably gone to the trouble to research a number of experiments in this field and have presented them to the public in their newspapers and press releases.{10} These experiments ...

Define state-value and (true) state value of an MDP Define Q-value and (true) Q value of an MDP The idea of discounting stems from the common idea that a reward now is better than the same reward ...

Machine learning studies the question "How can we build computer programs that automatically improve their performance through experience?" This includes learning to perform many types of tasks based ...

For parallel programming in C++, we use a library, called PASL, that we have been developing over the past 5 years. The implementation of the library uses advanced scheduling techniques to run ...

Have successfully completed AI: Representation and Problem Solving (15-281) and Introduction to Machine Learning (10-315). A mid-semester grade is acceptable for one of them. Complete the Internal ...

SCS faculty members Robert F. Murphy and Jian Ma have been named fellows of the International Society for Computational Biology.

Warning: This page is out of date (last updated early 1999), and may be going away soon. For more information, see the main page. If you're looking for more up-to-date author and book links, this page ...

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

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 couldn't help it,' said Five, in a sulky tone; `Seven jogged my elbow.' On which Seven looked up and said, `That's right, Five! Always lay the blame on others!' `You'd better not talk!' said Five.