Sciweavers

55 search results - page 1 / 11
» A Review of Formalisms for Describing Interactive Behaviour
Sort
View
ICSE
1994
IEEE-ACM
13 years 8 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke
WWW
2007
ACM
14 years 5 months ago
Formalization, User Strategy And Interaction Design: Users? Behaviour With Discourse Tagging Semantics
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
KER
2006
158views more  KER 2006»
13 years 4 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken
EUROMICRO
1996
IEEE
13 years 9 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
JVCA
2002
157views more  JVCA 2002»
13 years 4 months ago
Planning characters' behaviour in interactive storytelling
In this paper, we describe a method for implementing the behaviour of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype...
Marc Cavazza, Fred Charles, Steven J. Mead