Abstract Photo-editing software restricts the control of objects in a photograph to the 2D image plane. We present a method that enables users to perform the full range of 3D manipulations, including ...

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

Overview The API for JBLADE is very similar to that of BLADE. It also consists of two classes JBlade and JBladeParams whose public methods are exactly like those of Blade and BladeParams respectively.

After a few hours the road began to be rough, and the walking grew so difficult that the Scarecrow often stumbled over the yellow bricks, which were here very uneven. Sometimes, indeed, they were ...

format is used to produce formatted output. format outputs the characters of control-string, except that a tilde (~) introduces a directive. The character after the tilde, possibly preceded by prefix ...

Selected Articles: Scientific Progress in Artificial Intelligence: History, Status, and Futures, E. Horvitz and T. Mitchell, in: Kathleen Hall Jamieson, Anne-Marie Mazza, and William Kearney (Eds.) ...

Research Professor, Robotics Director, Intelligent Coordination and Logistics Laboratory The Robotics Institute Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213 Email: ...