1552 search results - page 230 / 311 » Comprehending agent software |
145
click to vote
FSTTCS
2005
Springer
15 years 10 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...
123
click to vote
FSTTCS
2005
Springer
15 years 10 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...
145
Voted
SG
2005
Springer
15 years 10 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...
118
click to vote
UIST
2004
ACM
15 years 10 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...
133
click to vote
ICMI
2004
Springer
15 years 10 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 ...