Sciweavers

3071 search results - page 306 / 615
» Explanatory Design Theory
Sort
View
CHI
2004
ACM
16 years 7 months ago
FingerSense: augmenting expressiveness to physical pushing button by fingertip identification
In this paper, we propose a novel method, FingerSense to enhance the expressiveness of physical buttons. In a FingerSense enabled input device, a pressing action is differentiated...
Jingtao Wang, John F. Canny
ICFP
2008
ACM
16 years 6 months ago
HMF: simple type inference for first-class polymorphism
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
Daan Leijen
PERCOM
2006
ACM
16 years 6 months ago
On the feasibility of power control in current IEEE 802.11 devices
Recent research in wireless communications has achieved important results by exploring more and more sophisticated solutions involving power control. Cross-layer design and topolo...
Fehmi Ben Abdesslem, Luigi Iannone, Marcelo Dias d...
DCC
2008
IEEE
16 years 6 months ago
High-Resolution Functional Quantization
Suppose a function of N real source variables XN 1 = (X1, X2, . . . , XN ) is desired at a destination constrained to receive a limited number of bits. If the result of evaluating...
Vinith Misra, Vivek K. Goyal, Lav R. Varshney
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
16 years 3 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...