1746 search results - page 105 / 350 » On the expressiveness of interaction |
120
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
132
Voted
HRI
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes an extensive analysis of the comfort level data of 7 subjects with respect to 12 robot behaviours as part of a human-robot interaction trial. This includes ro...
168
click to vote
UIST
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
109
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The identification of groups of co-regulated genes and their transcription factors, called transcriptional modules, has been a focus of many studies about biological s...
152
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...