Publications

The rise of the World Wide Web and the market growth of mobile devices with advanced data capability make the mobile Internet the inevitable next big wave of technology.

The rise of the World Wide Web and the market growth of mobile devices with advanced data capability make the mobile Internet the inevitable next big wave of technology.

We present a hierarchical method for estimating pixel resolution disparity from a raw Plenoptic 2.0 light field capture.

The ENCOMPASS project has been developing languages and environments to support formal development methods similar to VDM since the mid 1980s.

It is widely accepted cloud storage provides a lot of benefits to its users by significantly reducing the burden of storage and computation.

Efficient utilization of cloud resources is a fundamental optimization problem studied in academia and industry alike.

The C compiler on Plan 9 is a wholy new program; in fact it was the first piece of software written for what would eventually become Plan 9 from Bell Labs.

The personal-workstation computing environment, as generally implemented, is impractical for a large group of close-knit users.

Plan recognition algorithms use knowledge of likely plans to infer the intent behind particular input actions.

Plan recognition is a promising approach for engineering better interfaces in a wide variety of application areas, as well as an active research area in Artificial Intelligence (AI).