Sciweavers

3639 search results - page 542 / 728
» Provenance as Dependency Analysis
Sort
View
CHI
2007
ACM
16 years 7 months ago
The role of choice and customization on users' interaction with embodied conversational agents: effects on perception and perfor
We performed an empirical study exploring people's interactions with an embodied conversational agent (ECA) while performing two tasks. Conditions varied with respect to 1) w...
Jun Xiao, John T. Stasko, Richard Catrambone
VLSID
2005
IEEE
224views VLSI» more  VLSID 2005»
16 years 7 months ago
Accurate Stacking Effect Macro-Modeling of Leakage Power in Sub-100nm Circuits
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
Shengqi Yang, Wayne Wolf, Narayanan Vijaykrishnan,...
HPCA
2003
IEEE
16 years 6 months ago
A Statistically Rigorous Approach for Improving Simulation Methodology
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
Joshua J. Yi, David J. Lilja, Douglas M. Hawkins
CHI
2004
ACM
16 years 6 months ago
Mouse and touchscreen selection in the upper and lower visual fields
Neuroanatomical evidence indicates the human eye's visual field can be functionally divided into two vertical hemifields, each specialized for specific functions. The upper v...
Barry A. Po, Brian D. Fisher, Kellogg S. Booth
POPL
2004
ACM
16 years 6 months ago
Tridirectional typechecking
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
Joshua Dunfield, Frank Pfenning