845 search results - page 67 / 169 » Connecting Many-Sorted Theories |
167
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
Topology control algorithms usually reduce the number of links in a wireless network, which in turn decreases the degree of connectivity. The resulting network topology is more su...
132
click to vote
HYBRID
2009
Springer
16 years 28 days ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
159
click to vote
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
169
click to vote
ECSQARU
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
166
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
A multi-agent system can be analyzed and specified as an organization consisting of roles and their relations. The performance of an organization depends on many factors among whi...