Sciweavers

2913 search results - page 149 / 583
» How Much to Copy
Sort
View
88
Voted
HT
1997
ACM
15 years 4 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...
108
Voted
IWEC
2004
15 years 2 months 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
116
Voted
CACM
2000
97views more  CACM 2000»
15 years 15 days 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
105
Voted
CPP
2011
99views more  CPP 2011»
14 years 14 days 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
16 years 1 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