4666 search results - page 9 / 934 » Equations on Timed Languages |
140
click to vote
JMLR
2010
14 years 8 months ago
2010
Continuous-time Bayesian networks is a natural structured representation language for multicomponent stochastic processes that evolve continuously over time. Despite the compact r...
141
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
116
Voted
IJCM
2002
15 years 1 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
SIAMNUM
2011
14 years 8 months ago
2011
We prove a posteriori error estimates for time discrete approximations, for semilinear parabolic equations with solutions that might blow-up in finite time. In particular we consi...