Sciweavers

3729 search results - page 92 / 746
» On Formal Modeling of Agent Computations
Sort
View
WEBI
2010
Springer
14 years 9 months ago
Agent-Based Online Quality Measurement Approach in Cloud Computing Environment
This paper studies online quality measurement in cloud computing environment. The paper analyzes concentration measure evaluation method of the current software quality evaluation...
Zhenyu Liu, Tiejiang Liu, Tun Lu, Lizhi Cai, Genxi...
ISMB
1993
15 years 1 months ago
Grammatical Formalization of Metabolic Processes
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
Ralf Hofestädt
DALT
2007
Springer
15 years 3 months ago
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
ATAL
2010
Springer
15 years 1 months ago
Adversarial planning for large multi-agent simulations
We investigate planning for self-interested agents in large multi-agent simulations. We present two heuristic algorithms that exploit different domain-specific properties in order...
Viliam Lisý
WSTST
2005
Springer
15 years 5 months ago
Characteristic Analysis of Agents in Adaptive Consensus Formation Models
Hiroaki Oumi, Tamotsu Mitamura, Masahito Kurihara,...