2024 search results - page 101 / 405 » A Formal Model of Multi-agent Computations |
131
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
137
Voted
RAS
1998
15 years 3 months ago
1998
We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent for anoth...
131
click to vote
CLOR
2006
15 years 7 months ago
2006
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...
126
click to vote
CONTEXT
1999
Springer
15 years 8 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
106
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio