Specifying the memorization process with STOPA

Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

Volumn , Issue , 2005, Pages 238-247

  Pelayo, Fernando L ^a   Núñez, Manuel ^b   López, Natalia ^b  

^a Campus Universitario ^*  (Spain)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; FEATURE EXTRACTION; FUNCTION EVALUATION; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; STOCHASTIC CONTROL SYSTEMS;

COGNITIVE MODEL; MEMORIZATION; MEMORY CLASSIFICATION; STOCHASTIC TIME;

FORMAL LANGUAGES;

EID: 33749060007     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2005.1532638     Document Type: Conference Paper

References (14)

1. D. Cazorla, F. Cuartero, V. Valero, F. L. Pelayo, and J. Pardo. Algebraic theory of probabilistic and non-deterministic processes. Journal of Logic and Algebraic Programming, 55(1-2):57-103, 2003.
2. N. López, M. Núñez, and F. L. Pelayo. Stopa: A stochastic process algebra for the formal representation of cognitive systems. In 3nd IEEE Int. Conf. on Cognitive Informatics, pages 1-1. IEEE Computer Society Press, 2004.
3. N. López, M. Núñez, and F. Rubio. An integrated framework for the analysis of asynchronous communicating stochastic processes, 2004. To appear in Formal Aspects of Computing.
4. M. Núñez. Algebraic theory of probabilistic processes. Journal of Logic and Algebraic Programming, 56(1-2): 117-177, 2003.
5. M. Núñez, D. de Frutos, and L. Llana. Acceptance trees for probabilistic processes. In CONCUR'95, LNCS 962, pages 249-263. Springer, 1995.
6. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
7. R. Solso, editor. Mind and brain science in the 21st century. MIT Press, 1999.
8. L. Squire, B. Knowlton, and G. Musen. The structure and organization of memory. Annual Review of Psychology, 44:453-459, 1993.
9. Y. Wang. On cognitive informatics. In 1st IEEE Int. Conf. on Cognitive Informatics, pages 34-42. IEEE Computer Society Press, 2002.
10. Y. Wang. The Real Time Process Algebra (RTPA). Annals of Software Engineering, 14:235-274, 2002.
11. Y. Wang. Using process algebra to describe human and software behaviors. Brain and Mind, 4:199-213, 2003.
12. Y. Wang and Y. Wang. Cognitive models of the brain. In 1st IEEE Int. Conf. on Cognitive Informatics, pages 259-269. IEEE Computer Society Press, 2002.
13. S. Zhongzhi. Neural Computing. Electronic Industry Publishers, 1994.
14. S. Zhongzhi and Y. Zhihua. Cognitive Science and Computer. Popularization Publishers, 1999.