Sciweavers

55 search results - page 1 / 11
» A Review of Formalisms for Describing Interactive Behaviour
Sort
View
ICSE
1994
IEEE-ACM
14 years 3 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke
WWW
2007
ACM
14 years 11 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 11 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
14 years 3 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 10 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