1965 search results - page 313 / 393 » On the analysis of interacting pushdown systems |
177
click to vote
INTERNET
2006
15 years 6 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
149
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
193
click to vote
AI
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we first discuss the meaning of physical embodiment and the complexity of the environment in the context of multi-agent learning. We then propose a vision-based rei...
147
click to vote
ESAW
2009
Springer
16 years 21 days ago
2009
Springer
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
189
click to vote
ICMI
2007
Springer
16 years 8 days ago
2007
Springer
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...