Third IEEE International Conference on Cognitive Informatics (ICCI'04) STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems Victoria, Canada August 16-August 17 ISBN: 0-7695-2190-8
In this paper we present a formal language to specify cognitive systems. In addition to the usual characteristics of these formalisms, our language features the possibility of including stochastic time. This kind of time is useful to represent systems where the delays are not controlled by fix amounts of time, but they are given by a probability distribution function.
Citation:
Natalia López, Manuel Núñez, Fernando L. Pelayo, "STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems," icci, pp.64-73, Third IEEE International Conference on Cognitive Informatics (ICCI'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||