592 search results - page 4 / 119 » Real Space Process Algebra |
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...
ENTCS
2010
13 years 5 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimin...
RTSS
1999
IEEE
14 years 11 days ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
IMECS
2007
13 years 9 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...