Now, with graduation from the Computer Science Department (CSD) on the horizon, he's earned this year's Scott Robert Krulcik ...

This page describes a new technology developed at Columbia's Computer Vision Laboratory that can be used to enhance the dynamic range (range of measurable brightness values) of virtually any imaging ...

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

I am a last year PhD student working with Professor Yiming Yang in Language Technologies Institute of School of Computer Science at Carnegie Mellon University. Prior to that, I received my B.E. in ...

D. Baraff and A. Witkin. Large Steps in Cloth Simulation. Computer Graphics Proceedings, Annual Conference Series: 43-54, 1998 Adobe Acrobat (PDF) (12 pages, 255K). D. Baraff. Linear-time dynamics ...

The King and Queen of Hearts were seated on their throne when they arrived, with a great crowd assembled about them--all sorts of little birds and beasts, as well as the whole pack of cards: the Knave ...

Javascript is required for the SCS calendar.

A selection of publicly-available legal documents filed in U.S. District Court, Central District of California. Now that the trade secret status of the OT materials has been lost (decisions of federal ...

Thread operations include thread creation, termination, synchronization (joins,blocking), scheduling, data management and process interaction. A thread does not maintain a list of created threads, nor ...

Frank Pfenning Personal Home Page Recent Drafts, Talks, and Publications See also Publications (as of November 12, 2025), DBLP, Google Scholar Profile Security Reasoning via Substructural Dependency ...

This book is the first Barsoom book currently released by Project Gutenberg. Also available are "The Gods of Mars", "The Warlord of Mars" and "Thuvia, Maid of Mars"-- others may be formatted and made ...

The lecture notes will be available after each lecture to assist with studying -- please read them as they often contain material that goes beyond just what we covered in lecture! For supplemental ...