2780 search results - page 214 / 556 » Generalizing by Removing Detail |
152
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...
185
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
115
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
159
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Drawing on ongoing ethnographic investigations into home life, this paper presents detailed findings from a preliminary examination of refrigerator surfaces. The use and organizat...
120
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Graphical user interfaces rely heavily on the tool metaphor. In most drawing systems, for example, functions are organized as they might be on a workbench; buttons associated with...