Sciweavers

2913 search results - page 149 / 583
» How Much to Copy
Sort
View
HT
1997
ACM
14 years 2 months ago
Style Sheet Support for Hypermedia Documents
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...
IWEC
2004
14 years 1 days ago
Optical-Flow-Driven Gadgets for Gaming User Interface
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...
Zoran Zivkovic
CACM
2000
97views more  CACM 2000»
13 years 10 months ago
Generalizing by Removing Detail
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...
Kenneth M. Kahn
CPP
2011
99views more  CPP 2011»
12 years 10 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
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...
Frank Pfenning, Luís Caires, Bernardo Tonin...
DAC
2007
ACM
14 years 11 months ago
Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction
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...
Zhuo Feng, Peng Li, Yaping Zhan