News

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 area of approximation algorithms is aimed at giving provable guarantees on the performance of heuristics for hard problems. The course will present general techniques (such as convex ...
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 ...
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.
I see names like 'Qin', 'Xu', 'Zhu', and I am not sure how to say Chinese names like these. What you see is pinyin, literally 'spell out the sound'. It's a system for romanizing Chinese ideograms, ...
Textbook Distributed Systems: Principles and Paradigms Andrew S. Tanenbaum & Maarten Van Steen Published by Pearson, ISBN 0-13-239227-5, 2nd edition.
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 ...
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.
A Robotics Institute student team, dubbed AI on Ice, has partnered with three organizations to add autonomous capabilities to a two-Zamboni-machine convoy.
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) ...
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.