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

Modal logic is the study of the laws of inference for judgments such as "it is necessary that", "it is possible that", "K knows that", "K affirms that", etc. Its ...

You are organizing a conference in social choice theory, with a festive dinner on the first day. The catering service has 1024 different dinner choices they know how to make, out of which you need to ...

As the dawn was breaking the Sambhur belled Once, twice and again! And a doe leaped up, and a doe leaped up From the pond in the wood where the wild deer sup. This I, scouting alone, beheld, Once, ...

This project combines modular robotics, systems nanotechnology and computer science to create the dynamic, 3-Dimensional display of electronic information known as claytronics. Our goal is to give ...

Meetings time and place: Monday and Wednesday, 3pm-4:20pm, GHC 5222.

I. Tournament Sponsorship and Sanctions. The American Go Association (hereafter, the AGA) has an official interest in three different categories of tournaments as defined below. A. AGA-rated. An ...

In ``Applied Computational Geometry: Towards Geometric Engineering'' (Ming C. Lin and Dinesh Manocha, editors), volume 1148 of Lecture Notes in Computer Science, pages 203-222, Springer-Verlag, Berlin ...

Grenadier Productions has bought from the bankrupt company Avalon-Nemo, in Italy, the original molds of the American Grenadier and we have started to produce some of these lines again. Information can ...

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

Planning is one of the core components that enable robots to be autonomous. Robot planning is responsible for deciding in real-time what the robot should do next, how to do it, where the robot should ...

I lead the Neuro-Symbolic AI Group at Carnegie Mellon University's Machine Learning Department. I serve as co-Editor-in-Chief of the Journal of Machine Learning Research (JMLR) and was previously ...