Analysis of the MPEG-2 encoding algorithm with ROSA
The authors present both the specification and a performance analysis of the MPEG 2
algorithm for video encoding, by using the Stochastic Process Algebra ROSA. This process …
algorithm for video encoding, by using the Stochastic Process Algebra ROSA. This process …
Stopa: A stochastic process algebra for the formal representation of cognitive systems
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 …
characteristics of these formalisms, our language features the possibility of including …
[HTML][HTML] Generating the syntactic and semantics graphs for a Markovian process algebra
FL Pelayo, ML Pelayo, JLG Guirao - Journal of computational and applied …, 2007 - Elsevier
We present a couple of programs (over C and Mathematica) which allow to generate the
syntactic and the semantics representations of a ROSA (ReasoningOnStochasticAlgebras) …
syntactic and the semantics representations of a ROSA (ReasoningOnStochasticAlgebras) …
A formal specification of the memorization process
In this article we present the formal language STOchastic Process Algebra (STOPA) to
specify cognitive systems. In addition to the usual characteristics of these formalisms, this …
specify cognitive systems. In addition to the usual characteristics of these formalisms, this …
Testing semantics for RTPA
L Llana, M Núuñez - Fundamenta Informaticae, 2009 - content.iospress.com
Abstract The language RTPA, Real Time Process Algebra, has been created to enable
rigorous treatment of knowledge representation and manipulation in terms of to be I to …
rigorous treatment of knowledge representation and manipulation in terms of to be I to …
Does ROSA provide a good view of the Memorizing Process?
ML Pelayo, FL Pelayo, F Cuartero… - 6th IEEE …, 2007 - ieeexplore.ieee.org
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 …
analyze the memorizing process. ROSA, reasoning on stochastic algebras, is an algebraic …
A Comparative Study of STOPA and RTPA
During the last years it has been widely recognized that formal semantic frameworks
improve the capability to represent cognitive processes. In this line, process algebras have …
improve the capability to represent cognitive processes. In this line, process algebras have …
Towards the evolutionary process algebra
Genetic algorithms, GA's are metaheuristic techniques that have obtained good results in
problems in which exhaustive techniques fail due to the size of the search space. GA's have …
problems in which exhaustive techniques fail due to the size of the search space. GA's have …
[PDF][PDF] A Genetic Algorithm Specification and Analysis in ROSA
Genetic Algorithms, GA's are metaheuristic techniques that have obtained good results in
problems in which exhaustive techniques fail due to the size of the search space. GA's [21 …
problems in which exhaustive techniques fail due to the size of the search space. GA's [21 …
[PDF][PDF] A Quasi-Genetic Process Algebra
Process Algebras, PAs, are formalisms able to capture the behaviour of a computing system
by, for example, giving the labelled transition system, LTS, where states are nodes and …
by, for example, giving the labelled transition system, LTS, where states are nodes and …