1419 search results - page 266 / 284 » Notes on Formalizing Context |
131
Voted
AMIRE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...
111
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
CEEMAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
ECMDAFA
2005
Springer
15 years 6 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...