722 search results - page 19 / 145 » The State Operator in Real Time Process Algebra |
130
click to vote
TCOS
2008
14 years 11 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
PDP
2005
IEEE
15 years 5 months ago
2005
IEEE
Up until now little support has been provided for shared state systems in environments with highly unpredictable network connections, such as mobile networks. Shared state conflic...
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
116
click to vote
TSP
2008
14 years 11 months ago
2008
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
115
click to vote
IEAAIE
2005
Springer
15 years 5 months ago
2005
Springer
Prediction is an important task in robot motor control where it is used to gain feedback for a controller. With such a self-generated feedback, which is available before sensor rea...