Sciweavers

1511 search results - page 192 / 303
» A Methodology for Developing Agent Based Systems
Sort
View
ASM
2008
ASM
15 years 1 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 3 months ago
Optimal controlled trajectories for a mathematical model of anti-angiogenic therapy in cancer
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
Urszula Ledzewicz, Heinz Schättler
ARGMAS
2005
Springer
15 years 4 months ago
Practical Strategic Reasoning and Adaptation in Rational Argument-Based Negotiation
Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signific...
Michael Rovatsos, Iyad Rahwan, Felix A. Fischer, G...
AAAI
2008
15 years 1 months ago
On-Line Case-Based Plan Adaptation for Real-Time Strategy Games
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...
Neha Sugandh, Santiago Ontañón, Ashw...
AIPR
2007
IEEE
15 years 5 months ago
Using a High-Fidelity Simulation Framework for Performance Singularity
A common way to evaluate the performance of a system is to compare the algorithmic outputs with ground truth to identify divergences in the system’s performance and discover the...
Chris Scrapper, Raj Madhavan, Stephen Balakirsky