49 search results - page 6 / 10 » Combinators for Paraconsistent Attitudes |
PERSUASIVE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
SYNTHESE
2008
13 years 7 months ago
2008
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
IVA
2007
Springer
14 years 1 months ago
2007
Springer
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
During the Mars Exploration Rovers (MER) landings, the Descent Image Motion Estimation System (DIMES) was used for horizontal velocity estimation. The DIMES algorithm combines mea...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
Researchers of educational technologies are often asked to do the impossible: make students learn and have them enjoy it. These two objectives, though not mutually exclusive, are f...