Sciweavers

8555 search results - page 316 / 1711
» Property Based Coordination
Sort
View
ECAI
2006
Springer
15 years 11 months ago
Modal Logics for Communicating Rule-Based Agents
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
Natasha Alechina, Mark Jago, Brian Logan
GECCO
2000
Springer
113views Optimization» more  GECCO 2000»
15 years 11 months ago
The Effects of Locality on the Dynamics of Decoder-Based Evolutionary Search
The success of decoder-based evolutionary algorithms (EAs) strongly depends on the achieved locality of operators and decoders. Most approaches to investigate locality properties ...
Jens Gottlieb, Günther R. Raidl
221
Voted
ISBMS
2010
Springer
15 years 9 months ago
Optimization of Case-Specific Vascular Tree Models Based on Vessel Size Imaging
We analyze a problem, which is relevant for physiological modeling of vascular networks: the initialization and optimization of specific, individual models of a functioning vessel ...
Bryn A. Lloyd, Sven Hirsch, Gábor Szé...
191
Voted
NSDI
2004
15 years 9 months ago
Contract-Based Load Management in Federated Distributed Systems
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
Magdalena Balazinska, Hari Balakrishnan, Michael S...
IJCAI
2003
15 years 9 months ago
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
Yongmei Liu, Hector J. Levesque