To free wearable tech from the burden of batteries, SCS researchers developed Power-Over-Skin, which allows electricity to travel through the human body and could one day power battery-free devices ...

The handout Automated Theorem Proving contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not ...

This is Graham Neubig's lab at the Language Technologies Institute of Carnegie Mellon University. We do research on natural language processing and machine learning, specifically machine translation, ...

I am a postdoctoral fellow at Carnegie Mellon University. I was awarded a PhD from CMU's Machine Learning Department in December 2010. I am interested in machine learning techniques for structured ...

Realistic image manipulation is challenging because it requires modifying the image appearance in a user-controlled way, while preserving the realism of the result. Unless the user has considerable ...

Like a shot to your dome piece, I'm back to hit you with my annual roundup of what happened in the rumble-tumble game of databases. Yes, I used to write this article on the OtterTune blog, but the ...

We were interviewed about our work by WESA (the NPR radio station in Pittsburgh), and we were featured live on the local radio station KQV 1410 AM. Abstract Photo-editing software restricts the ...

Consider the words "man", "woman", "boy", and "girl". Two of them refer to males, and two to females. Also, two of them refer to adults, and two to children. We can ...

The advent of large-scale training has produced a cornucopia of powerful visual recognition models. However, generative models, such as GANs, have traditionally been trained from scratch in an ...

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

15-210 aims to teach methods for designing, analyzing, and programming sequential and parallel algorithms and data structures. The emphasis is on teaching fundamental concepts applicable across a wide ...