Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
This paper describes the use of a multi-objective evolution strategy in tuning a fuzzy controller which is used in sewage treatment plants. The controller adjusts the oxygenation ...
Patrick O. Stalph, Marc Ebner, Martin Michel, Bern...
This paper describes the study conducted to design and evaluate a two-level on-line scheduler to dynamically schedule a stream of sequential and multi-threaded batch jobs on large...
Marco Pasquali, Ranieri Baraglia, Gabriele Capanni...
Intelligent software agents are promising in improving the effectiveness of e-marketplaces for e-commerce. Although a large amount of research has been conducted to develop negoti...
Raymond Y. K. Lau, Yuefeng Li, Dawei Song, Ron Chi...
This work is a suitability study of the different optimization methods for automated parameter estimation (fitting) in the context of neuronal signaling networks. The Gepasi simul...