1246 search results - page 17 / 250 » Recursive Timed Automata |
161
click to vote
UMC
2000
15 years 4 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
93
Voted
CORR
2006
Springer
15 years 21 days ago
2006
Springer
In probabilistic grammatical inference, a usual goal is to infer a good approximation of an unknown distribution P called a stochastic language. The estimate of P stands in some cl...
112
Voted
IANDC
2008
15 years 22 days ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
102
click to vote
IPL
2007
15 years 17 days ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
112
click to vote
FUIN
2008
15 years 22 days ago
2008
Continuous cellular automata (or coupled map lattices) are cellular automata where the state of the cells are real values in [0, 1] and the local transition rule is a real function...