33356 search results - page 133 / 6672 » Models of Continual Computation |
176
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
173
click to vote
AAAI
2004
15 years 8 months ago
2004
We introduce the generalized semi-Markov decision process (GSMDP) as an extension of continuous-time MDPs and semi-Markov decision processes (SMDPs) for modeling stochastic decisi...
164
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
9 A two-level mixture linear dynamic system model, with frame-level switching parameters in the obser10 vation equation and with segment-level switching parameters in the target-d...
200
click to vote
NCA
2006
IEEE
16 years 25 days ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...
183
click to vote
LICS
2003
IEEE
16 years 2 days ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...