4540 search results - page 44 / 908 » Evolving the |
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ALIFE
2000
13 years 8 months ago
2000
We analyze a general model of multi-agent communication in which all agents communicate simultaneously to a message board. A genetic algorithm is used to evolve multi-agent languag...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
This paper explores the limitations of one technique for modelling computer-based systems with evolving requirements. A case study is introduced which highlights the importance of...
SIAMNUM
2011
13 years 3 months ago
2011
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Quantitative measurements of changes in evolving brain pathology, such as multiple sclerosis lesions and brain tumors, are important for clinicians to perform pertinent diagnoses a...