Ryan O'Donnell Professor Theory Group, Computer Science Dept., CMU 7213 Gates Hillman Center Administrative Assistant: Emi Perdan Analysis of Boolean Functions book Free PDF download Buy a copy from ...

The highly-customizable Hugo Academic theme powered by Hugo Blox Builder. Easily create your personal academic website.

Yubin Kim is a PhD candidate in the Language Technologies Institute of the School of Computer Science at Carnegie Mellon University. Her main research area is information retrieval.

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

As much as Andy loves PostgreSQL, there is one part that is terrible and causes many headaches for people. Learn what it is and why it sucks.

This is a textbook on programming with emphasis on specification and proof of programs. It is now out of print, and all rights have reverted to the author, who has decided to make it publicly ...

A Robotics Institute student team, dubbed AI on Ice, has partnered with three organizations to add autonomous capabilities to a two-Zamboni-machine convoy.

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

The names and naming practices for this handout were primarily taken from a series of books called Catálogo de Pasajeros a Indias (Catalog of passengers to the New World). The books contain lists of ...

This course provides a comprehensive introduction to computer vision. Major topics include image processing, detection and recognition, geometry-based and physics-based vision and video analysis.

This course provides a comprehensive introduction to computer vision. Major topics include image processing, detection and recognition, geometry-based and physics-based vision and video analysis.

The Quad-Edge data structure is useful for describing the topology and geometry of polyhedra. We will use it when implementing subdivision surfaces (a recent, elegant way to define curved surfaces) ...