Hypermedia documents are most often created with a particular presentation environment in mind. This requires the authoring of one document per presentation platform. As pointed o...
Jacco van Ossenbruggen, Lynda Hardman, Lloyd Rutle...
We describe how to build a VIDEOPLACE-like vision-driven user interface using "optical-flow" measurements. The optical-flow denotes the estimated movement of an image pat...
A long-standing goal of the programming by demonstration research community is to enable people to construct programs by showing how the desired programs should work on sample inp...
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...