loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Natalia López, Universidad Complutense de Madrid
Manuel Núñez, Universidad Complutense de Madrid
Fernando L. Pelayo, Universidad de Castilla-La Mancha
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.