1552 search results - page 230 / 311 » Comprehending agent software |
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
SG
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfa...
UIST
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we explore the concept of dual–purpose speech: speech that is socially appropriate in the context of a human– to–human conversation which also provides meanin...
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel paradigm for human to human asymmetric collaboration. There is a need for people at geographically separate locations to seamlessly collaborate in real time as ...