121 search results - page 17 / 25 » Validating interaction patterns in HRI |
145
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
150
Voted
ICMI
2009
Springer
15 years 1 months ago
2009
Springer
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
155
click to vote
PAMI
2011
14 years 10 months ago
2011
—This paper introduces a novel contextual model for the recognition of people’s visual focus of attention (VFOA) in meetings from audio-visual perceptual cues. More specificall...
173
Voted
ADVIS
2004
Springer
15 years 9 months ago
2004
Springer
Data mining is an interactive and iterative process. Users issue series of similar queries until they receive satisfying results, yet currently available data mining systems do not...
130
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Epigenetics is an important layer of transcriptional control necessary for cell-type specific gene regulation. Recent studies have shown significant epigenetic pattern...