Sciweavers

2 search results - page 1 / 1
» Changing System Interfaces Consistently: A New Refinement St...
Sort
View
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
13 years 2 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne
ICMI
2007
Springer
199views Biometrics» more  ICMI 2007»
13 years 11 months ago
Interest estimation based on dynamic bayesian networks for visual attentive presentation agents
In this paper, we describe an interface consisting of a virtual showroom where a team of two highly realistic 3D agents presents product items in an entertaining and attractive wa...
Boris Brandherm, Helmut Prendinger, Mitsuru Ishizu...