1662 search results - page 130 / 333 » The Computational Complexity of Agent Design Problems |
144
Voted
JPDC
2007
15 years 3 months ago
2007
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
126
click to vote
LOGCOM
2006
15 years 3 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
122
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
137
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...
107
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Semiconductor design companies are in a continuous search for design tools that address the ever increasing chip design complexity coupled with strict time-to-market schedules and...