950 search results - page 2 / 190 » Process Algebra in PVS |
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
An object-based compression scheme for a class of dynamic image-based representations called "plenoptic videos" (PVs) is studied in this paper. PVs are simplified dynami...
CAI
2009
Springer
14 years 2 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
EUSFLAT
2009
13 years 5 months ago
2009
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
DNA
2009
Springer
14 years 2 months ago
2009
Springer
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.