DocumentCode
1561764
Title
Does ROSA provide a good view of the Memorizing Process?
Author
Pelayo, Maria L. ; Pelayo, Fernando L. ; Cuartero, Fernando ; Valero, Valentin ; Diaz, Gregorio ; Nieto, Elena
Author_Institution
Univ. de Castilla-La Mancha, Albacete
fYear
2007
Firstpage
273
Lastpage
283
Abstract
In this paper we have used the Markovian process algebra ROSA to both specify and analyze the memorizing process. ROSA, reasoning on stochastic algebras, is an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes and to check some temporal requirements.
Keywords
Markov processes; brain; cognition; graph theory; inference mechanisms; probability; process algebra; ROSA Markovian process algebra; algebraic language; cognition process; memorizing process; nondeterministic process; probabilistic process; stochastic algebra; transition graph; Algebra; Carbon capture and storage; Cognitive informatics; Cognitive science; Computers; Delay effects; Information processing; Information technology; Performance analysis; Stochastic processes;
fLanguage
English
Publisher
ieee
Conference_Titel
Cognitive Informatics, 6th IEEE International Conference on
Conference_Location
Lake Tahoo, CA
Print_ISBN
9781-4244-1327-0
Electronic_ISBN
978-1-4244-1328-7
Type
conf
DOI
10.1109/COGINF.2007.4341900
Filename
4341900
Link To Document