5675 search results - page 32 / 1135 » Formalising Performative Interaction |
WETICE
2006
IEEE
15 years 3 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...
IEAAIE
2004
Springer
15 years 3 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...
CVPR
2006
IEEE
15 years 11 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...
MKM
2009
Springer
15 years 4 months 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...
ICTAI
2006
IEEE
15 years 3 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...