Sciweavers

2373 search results - page 213 / 475
» Modelling Facial Behaviours
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
ATAL
2009
Springer
16 years 25 days ago
Using rituals to express cultural differences in synthetic characters
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...
Samuel Mascarenhas, João Dias, Nuno Afonso,...
CHI
2004
ACM
16 years 6 months ago
Reconditioned merchandise: extended structured report formats in usability inspection
Structured Problem Report Formats have been key to improving the assessment of usability methods. Once extended to record analysts' rationales, they not only reveal analyst b...
Gilbert Cockton, Alan Woolrych, Mark Hindmarch
ICALP
2009
Springer
16 years 6 months ago
Rate-Based Transition Systems for Stochastic Process Calculi
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
Rocco De Nicola, Diego Latella, Michele Loreti, Mi...
INTETAIN
2009
Springer
16 years 24 days ago
Affective Interface Adaptations in the Musickiosk Interactive Entertainment Application
The current work presents the affective interface adaptations in the Musickiosk application. Adaptive interaction poses several open questions since there is no unique way of mappi...
Lori Malatesta, Amaryllis Raouzaiou, L. Pearce, Ko...