28 search results - page 5 / 6 » Graphical Presentations of Symmetric Monoidal Closed Theorie... |
DAGSTUHL
2011
12 years 8 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
PERSUASIVE
2009
Springer
14 years 3 months ago
2009
Springer
We present an empirical study of the effect of a computer agent designed to engage a user in a persuasive counseling dialogue on attitudes towards regular exercise. We used two ma...
SMA
2003
ACM
14 years 1 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
This study examines the acceptance and usability of an animated conversational agent designed to establish longterm relationships with older, mostly minority adult users living in...
VISSYM
2007
13 years 11 months ago
2007
Vortex breakdown bubbles are a subject which is of interest in many disciplines such as aeronautics, mixing, and combustion. Existing visualization methods are based on stream sur...