AI practitioners, such as the developers of the technologies behind smart speakers, can use a new taxonomy from HCII researchers as a guide to help protect privacy when they're creating products and ...

Matthew Mason, professor emeritus and a former Robotics Institute director, has been elected a fellow of the American Association for the Advancement of Science (AAAS).

SCS student Claire Jin was selected as one of CMU's three 2024 Goldwater Scholars, one of the most prestigious STEM scholarships for undergraduates.

The above lectures are a compilation of work based on notes and slides from Greg Hager, G. Ayorkor Mills-Tetty, Hyungpil Moon, Zack Dodds, Nancy Amato, Steven Lavalle, Seth Hutchinson, George Kantor, ...

This course covers both foundations and practical aspects of the automated analysis of programs, which is becoming increasingly critical to find software errors and assure program correctness. The ...

Each project group should have a web page with a brief description of the project along with a project name, team members, and links to member home pages produced for Assignment 1. Groups should ...

If fundamental principles of legged dynamics and control exist, they should apply to human locomotion as well and, in effect, should have a strong impact on human motor control. Little attention has ...

In normal form games, players move simultaneously and the game ends immediately after players move. Extensive Form: In this game type, players can move sequentially, allowing for a game tree structure ...

Given a set of lines, create an alphabetized list of the rotations of those lines.

We learn to forecast diverse and long-horizon future geometries. We use only 1000 pseudo-depth sequences of in-the-wild dynamic scenes to do this using 2D diffusion models. Given three past ...