Login / Signup
Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems.
Pascal Redou
Sébastien Kerdélo
Gireg Desmeulles
Jean François Abgrall
Vincent Rodin
Jacques Tisseau
Published in:
PADS (2007)
Keyphrases
</>
multi agent systems
distributed constraint satisfaction
neural network
image sequences
reaction diffusion
distributed constraint optimization problems
image segmentation
color images
cellular automata