Sciweavers

368 search results - page 19 / 74
» The Role of Verification in Interactive Systems Design
Sort
View
AUTONOMICS
2008
ACM
13 years 9 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
IE
2007
13 years 9 months ago
Two families: dynamical policy models in interactive storytelling
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...
Fabio Zambetta, Adam Nash, Paul Smith
ACMICEC
2007
ACM
154views ECommerce» more  ACMICEC 2007»
13 years 11 months ago
Learning and adaptivity in interactive recommender systems
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
Tariq Mahmood, Francesco Ricci
AAI
2005
124views more  AAI 2005»
13 years 7 months ago
Lessons From Emotion Psychology For The Design Of Lifelike Characters
This special issue describes a number of applications that utilize lifelike characters that teach indirectly, by playing some role in a social interaction with a user. The design ...
Jonathan Gratch, Stacy Marsella
ACMDIS
2006
ACM
14 years 1 months ago
An empirical framework for designing social products
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
Bilge Mutlu