5675 search results - page 32 / 1135 » Formalising Performative Interaction |
173
click to vote
WETICE
2006
IEEE
15 years 12 months ago
2006
IEEE
— Within service-oriented business environments, the non-routine processing of requests requires a greater degree of social interaction and learning in order to achieve an effect...
127
Voted
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports our novel approach to developing a social robot. Such a robot reads human relationships from their physical behavior. We have developed an interactive humanoid r...
167
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we focus on the estimation of the 3D Euclidean shape and motion of a non-rigid object which is moving rigidly while deforming and is observed by a perspective camera...
182
Voted
MKM
2009
Springer
16 years 14 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
107
click to vote
ICTAI
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper shows a way to speed up search by using an encoding at bit level to model a particular domain. A bitboard is an unsigned integer whose bits have been given an interpret...