121 search results - page 14 / 25 » Validating interaction patterns in HRI |
128
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
132
Voted
AIED
2007
Springer
15 years 9 months ago
2007
Springer
We investigated the potential of automatic detection of a learner’s affective states from posture patterns and dialogue features obtained from an interaction with AutoTutor, an i...
126
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
This paper presents the design, implementation, and evaluation of an interactive tabletop system that supports co-located meeting capture and asynchronous search and review of pas...
154
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
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...
105
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Group-Lasso estimators, useful in many applications, suffer from lack of meaningful variance estimates for regression coefficients. To overcome such problems, we propose a full Ba...