8760 search results - page 426 / 1752 » Modeling users of intelligent systems |
166
click to vote
AAMAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
219
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
163
click to vote
ECAL
2007
Springer
16 years 29 days ago
2007
Springer
This paper1 introduces a simple model for evolutionary dynamics approaching the “coding threshold”, where the capacity to symbolically represent nucleic acid sequences emerges ...
168
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
190
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Energy flows in ecological systems which are determined by the structure of the ecological network influence the evolution of the network itself. The total system energy throughflo...