Sciweavers

8450 search results - page 139 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
OTM
2005
Springer
15 years 8 months ago
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
Jingtao Yang, Corina Cîrstea, Peter Henderso...
111
Voted
EICS
2009
ACM
15 years 9 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
MOBIHOC
2002
ACM
16 years 2 months ago
Characterizing the interaction between routing and MAC protocols in ad-hoc networks
We empirically study the effect of mobility and interaction between various input parameters on the performance of protocols designed for wireless ad-hoc networks. An important ob...
Christopher L. Barrett, Achla Marathe, Madhav V. M...
ESAW
2004
Springer
15 years 7 months ago
T-Compound Interaction and Overhearing Agents
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
136
Voted
HCI
2009
15 years 6 days ago
Multimodal Corpus Analysis as a Method for Ensuring Cultural Usability of Embodied Conversational Agents
In this paper we propose the method of multimodal corpus analysis to collect enough empirical data for modeling the behavior of embodied conversational agents. This is a prerequisi...
Yukiko I. Nakano, Matthias Rehm