Sciweavers

4099 search results - page 413 / 820
» A Framework for Interactive Proof
Sort
View
IVA
2009
Springer
16 years 1 months ago
Varying Personality in Spoken Dialogue with a Virtual Human
We extend a virtual human architecture that has been used to build tactical questioning characters with a parameterizable personality model, allowing characters to be designed with...
Michael Rushforth, Sudeep Gandhe, Ron Artstein, An...
IV
2007
IEEE
155views Visualization» more  IV 2007»
16 years 1 months ago
Navani: Navigating Large-Scale Visualisations with Animated Transitions
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
Kevin Pulo
SEFM
2006
IEEE
16 years 25 days ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
ACMDIS
2006
ACM
16 years 24 days ago
Designing for experiences: randomness as a resource
Studies which I carried out recently of users of digital music players revealed that the element of randomness plays a role in influencing the user experience (UX). Apart from bei...
Tuck Wah Leong
OZCHI
2006
ACM
16 years 23 days ago
Using a scenario-planning tool to support an engaging online user experience
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
Jon M. Pearce, John Murphy, David Patman