2024 search results - page 178 / 405 » A Formal Model of Multi-agent Computations |
148
click to vote
CN
2002
15 years 4 months ago
2002
In todays IP networks most of the network control and management tasks are performed at the end points. As a result, many important network functions cannot be optimized due to la...
150
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
171
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
126
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
137
click to vote
SGP
2003
15 years 5 months ago
2003
In this paper we develop a new description for subdivision surfaces based on a graph grammar formalism. Subdivision schemes are specified by a context sensitive grammar in which ...