606 search results - page 16 / 122 » Discrete Time Process Algebra |
129
click to vote
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
153
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
117
click to vote
ICONIP
2007
15 years 6 months ago
2007
One of the authors has proposed a simple learning algorithm for recurrent neural networks, which requires computational cost and memory capacity in practical order O(n2 )[1]. The a...
166
click to vote
DEDS
2010
15 years 4 months ago
2010
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
113
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
We study algorithms for approximation of the mild solution of stochastic heat equations on the spatial domain ]0, 1[ d . The error of an algorithm is defined in L2-sense. We derive...