News

SCS researchers have developed a tool that uses text prompts to help people — and even robots — bring ideas to life with Lego bricks.
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 ...
This dataset was collected and prepared by the CALO Project (A Cognitive Assistant that Learns and Organizes). It contains data from about 150 users, mostly senior management of Enron, organized into ...
My research centers on the design of programming languages and languages for specifying program behavior, mathematical tools for defining the semantics of such languages, and methods for proving that ...
In this course, there will be two types of class periods: Lectures are listed below with a blue background. Lectures are led by the instructors and present the core material of the course. Precepts ...
Many of the search procedures, including the commonly used local search methods, rely on a neighborhood structure that defines the local rules (operators) used to move within the search space. The ...
Bigtable: A Distributed Storage System for Structured Data, Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI), November 2006. Best paper award (tied). Keir Fraser ...
HCII faculty member Sarah Fox has received an NSF Faculty Early Career Development (CAREER) Award to support her research on artificial intelligence in the workplace.
Before submitting your stories make sure they are in the standard manuscript format. This is described in many, many "How to Write" books -- and I strongly recommend that you read at least one such ...
Andy recounts the rise of vector databases to SQL:2023 to MariaDB troubles and the FAA outage in 2023.
TartanPest pairs computer vision with a robotic arm attached to an electric tractor to detect and destroy spotted lanternfly egg masses.
The Acme Project Acme is a simple, generic software architecture description language (ADL) that can be used as a common interchange format for architecture design tools and/or as a foundation for ...