4835 search results - page 688 / 967 » Intelligent Selection Tools |
161
click to vote
SMC
2007
IEEE
16 years 27 days ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
172
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
144
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Diagrammatic methodologies for the representation of agent interaction protocols can be classified as joint representations that describe an interaction in terms of a single sequ...
179
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Conviviality is a mechanism to reinforce social cohesion and a tool to reduce mis-coordination between individuals, groups and institutions in web communities, for example in digit...
164
click to vote
ESAW
2007
Springer
16 years 24 days ago
2007
Springer
In distributed approaches to multiagent resource allocation, the agents belonging to a society negotiate deals in small groups at a local level, driven only by their own rational i...