Sciweavers

2373 search results - page 374 / 475
» Modelling Facial Behaviours
Sort
View
APLAS
2004
ACM
15 years 9 months ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
135
Voted
ECAI
2004
Springer
15 years 9 months ago
Applying Affective Tactics for a Better Learning
This paper describes the Mediating Agent, an animated pedagogical agent inserted in a computational system for distance learning, which has the goal of motivating the student to le...
Patrícia Augustin Jaques, Rosa Maria Vicari...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 9 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ISOLA
2004
Springer
15 years 9 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
TIDSE
2004
Springer
15 years 9 months ago
Object Oriented Prompted Play (O2P2): A Pragmatic Approach to Interactive Narrative
We describe an interactive narrative system that embodies Object Oriented Prompted Play (O2P2). This means that behaviours, attributes, and crucially stories are attached to object...
Daniel Roberts, Mark Wright